diff --git a/testing/scripts/recipes/004_spark-crypto.mk b/testing/scripts/recipes/004_spark-crypto.mk index 00965a587..a4a26a9bf 100644 --- a/testing/scripts/recipes/004_spark-crypto.mk +++ b/testing/scripts/recipes/004_spark-crypto.mk @@ -2,7 +2,7 @@ PKG = spark-crypto SRC = https://git.codelabs.ch/spark-crypto.git -REV = c97939b6cdd5e5f19847cf8d1abb7575e1c01df7 +REV = 153590e2fc784d3173b73642fafa4efb597bb2f3 DESTDIR = /usr/local/ada/lib/gnat diff --git a/testing/scripts/recipes/007_x509-ada.mk b/testing/scripts/recipes/007_x509-ada.mk index e096cef66..27f894eab 100644 --- a/testing/scripts/recipes/007_x509-ada.mk +++ b/testing/scripts/recipes/007_x509-ada.mk @@ -2,7 +2,7 @@ PKG = x509-ada SRC = https://git.codelabs.ch/git/$(PKG).git -REV = v0.1.2 +REV = v0.1.3 PREFIX = /usr/local/ada