From 5b6d366c537bdd6d485809e2d17b3b29a64cae28 Mon Sep 17 00:00:00 2001 From: Connor Olding Date: Wed, 7 Dec 2022 00:56:20 -0800 Subject: [PATCH] yices: update version --- cosmo-yices/Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cosmo-yices/Dockerfile b/cosmo-yices/Dockerfile index 1817de7..e33d608 100644 --- a/cosmo-yices/Dockerfile +++ b/cosmo-yices/Dockerfile @@ -1,8 +1,8 @@ # MAIN: https://yices.csl.sri.com/ # REPO: https://github.com/SRI-CSL/yices2/ FROM localhost/notwa-util AS downloader -ARG YICES_COMMIT=67bf3e8cbae37ad764acdf0f05bf8e7ffb49113e -ARG YICES_SHA256=09b377b3f75559b4792b6e14759eca645021dfd08057617368bae8f847be1800 +ARG YICES_COMMIT=6317ae96fe53fd5702a2dc16b2ce64b89c6f17b4 +ARG YICES_SHA256=c80f95a28a9ebb529ed9efff241921bd307e957ce9046cda641552dcd3eb6139 # MAIN: https://gmplib.org/ # REPO: https://gmplib.org/repo/ ARG GMP_VERSION=6.2.1