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

yices: update version

Browse Source
This commit is contained in:
Connor Olding 2022-11-20 18:44:04 -08:00
parent 837ce0011f
commit ec3061b6ea
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/
# 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