From ec3061b6eacf885c931b221472f2a0907ae9b11c Mon Sep 17 00:00:00 2001 From: Connor Olding Date: Sun, 20 Nov 2022 18:44:04 -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 0f96d13..1817de7 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=316ab8c2ba723231c12efec9948090718bbc8ce5 -ARG YICES_SHA256=c2e0a85069ce8eb5029830190d6d282dab36cc28ca872682f9a619c089deff2e +ARG YICES_COMMIT=67bf3e8cbae37ad764acdf0f05bf8e7ffb49113e +ARG YICES_SHA256=09b377b3f75559b4792b6e14759eca645021dfd08057617368bae8f847be1800 # MAIN: https://gmplib.org/ # REPO: https://gmplib.org/repo/ ARG GMP_VERSION=6.2.1