update docker image

cryspen · Oct 8, 2024 · ae2877c · ae2877c
1 parent dd4fbf7
commit ae2877c
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.docker/c/ext-tools.sh b/.docker/c/ext-tools.sh
@@ -4,23 +4,23 @@ set -v -e -x
 
 source $HOME/.profile
 
-curl -L https://github.com/AeneasVerif/charon/archive/28d543bfacc902ba9cc2a734b76baae9583892a4.zip \
+curl -L https://github.com/AeneasVerif/charon/archive/45f5a34f336e35c6cc2253bc90cbdb8d812cefa9.zip \
     --output charon.zip
 unzip charon.zip
 rm -rf charon.zip
-mv charon-28d543bfacc902ba9cc2a734b76baae9583892a4/ charon
+mv charon-45f5a34f336e35c6cc2253bc90cbdb8d812cefa9/ charon
 
-curl -L https://github.com/FStarLang/karamel/archive/15d4bce74a2d43e34a64f48f8311b7d9bcb0e152.zip \
+curl -L https://github.com/FStarLang/karamel/archive/8c3612018c25889288da6857771be3ad03b75bcd.zip \
     --output karamel.zip
 unzip karamel.zip
 rm -rf karamel.zip
-mv karamel-15d4bce74a2d43e34a64f48f8311b7d9bcb0e152/ karamel
+mv karamel-8c3612018c25889288da6857771be3ad03b75bcd/ karamel
 
-curl -L https://github.com/AeneasVerif/eurydice/archive/1a65dbf3758fe310833718c645a64266294a29ac.zip \
+curl -L https://github.com/AeneasVerif/eurydice/archive/1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c.zip \
     --output eurydice.zip
 unzip eurydice.zip
 rm -rf eurydice.zip
-mv eurydice-1a65dbf3758fe310833718c645a64266294a29ac/ eurydice
+mv eurydice-1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c/ eurydice
 
 echo "export KRML_HOME=$HOME/karamel" >>$HOME/.profile
 echo "export EURYDICE_HOME=$HOME/eurydice" >>$HOME/.profile