testing: Update TKM dependencies to fix compilation with newer GNAT versions

diff --git a/testing/scripts/recipes/004_spark-crypto.mk b/testing/scripts/recipes/004_spark-crypto.mk
index 00965a5873b05452226170ccb52e24a09ddfdf34..a4a26a9bfba0e779262c7e9bbe2d3023496c6183 100644 (file)
--- 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 e096cef660eda0ce4726c2b1012e3f3b1f99d96a..27f894eabd9fb160995a9de03b184fcc890789ff 100644 (file)
--- 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