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

update yices

Browse source
This commit is contained in:
Connor Olding 2023-04-30 01:31:58 -07:00
parent 55b4cafc4a
commit 0af3a894a8
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=6e5b85ae7758a42f76080ac0449202e3239df8ae ARG YICES_COMMIT=23980b9b6cff5e8eaa50957cb62738470657a761
ARG YICES_SHA256=84c8561b63ba880c4fda83f4078847cc85fd40f11c0db8dbb6bf070f79fbe219 ARG YICES_SHA256=eed8cf6305e55033daded0ba247a2abd014360bf8d731192f56f09c5b6dff9b9
# 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