notwa/stargazing
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

yices: update version

Browse source
This commit is contained in:
Connor Olding 2022-12-07 00:56:20 -08:00
parent eecd592bc9
commit 5b6d366c53
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
cosmo-yices/Dockerfile
View file

@ -1,8 +1,8 @@
# MAIN: https://yices.csl.sri.com/ # MAIN: https://yices.csl.sri.com/
# REPO: https://github.com/SRI-CSL/yices2/ # REPO: https://github.com/SRI-CSL/yices2/
FROM localhost/notwa-util AS downloader FROM localhost/notwa-util AS downloader
ARG YICES_COMMIT=67bf3e8cbae37ad764acdf0f05bf8e7ffb49113e ARG YICES_COMMIT=6317ae96fe53fd5702a2dc16b2ce64b89c6f17b4
ARG YICES_SHA256=09b377b3f75559b4792b6e14759eca645021dfd08057617368bae8f847be1800 ARG YICES_SHA256=c80f95a28a9ebb529ed9efff241921bd307e957ce9046cda641552dcd3eb6139
# MAIN: https://gmplib.org/ # MAIN: https://gmplib.org/
# REPO: https://gmplib.org/repo/ # REPO: https://gmplib.org/repo/
ARG GMP_VERSION=6.2.1 ARG GMP_VERSION=6.2.1