From 0af3a894a8b64b51443fa0d016a7b3de0b4dd0ed Mon Sep 17 00:00:00 2001 From: Connor Olding Date: Sun, 30 Apr 2023 01:31:58 -0700 Subject: [PATCH] update yices --- cosmo-yices/Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cosmo-yices/Dockerfile b/cosmo-yices/Dockerfile index a0403a0..b92e137 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=6e5b85ae7758a42f76080ac0449202e3239df8ae -ARG YICES_SHA256=84c8561b63ba880c4fda83f4078847cc85fd40f11c0db8dbb6bf070f79fbe219 +ARG YICES_COMMIT=23980b9b6cff5e8eaa50957cb62738470657a761 +ARG YICES_SHA256=eed8cf6305e55033daded0ba247a2abd014360bf8d731192f56f09c5b6dff9b9 # MAIN: https://gmplib.org/ # REPO: https://gmplib.org/repo/ ARG GMP_VERSION=6.2.1