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

This commit is contained in:
Tobias Brunner 2023-06-28 15:55:21 +02:00
parent 6f7fdcadd1
commit dee9bfb682
2 changed files with 2 additions and 2 deletions

View File

@ -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

View File

@ -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