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

cosmo, yices: update versions

Browse source
This commit is contained in:
Connor Olding 2022-10-09 14:21:07 -07:00
parent ca186e01f9
commit 8ac6be1fb6
2 changed files with 4 additions and 4 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=d28304671590ed04f13ce930aaae27015542c8ea
ARG YICES_SHA256=f1bd9979a9070e515fdc60d07836912e0058263f431b9b1a18f8975be1b95242
ARG YICES_COMMIT=316ab8c2ba723231c12efec9948090718bbc8ce5
ARG YICES_SHA256=c2e0a85069ce8eb5029830190d6d282dab36cc28ca872682f9a619c089deff2e
# MAIN: https://gmplib.org/
# REPO: https://gmplib.org/repo/
ARG GMP_VERSION=6.2.1

4
cosmo/Dockerfile
View file

@ -1,8 +1,8 @@
# MAIN: https://justine.lol/cosmopolitan/
# REPO: https://github.com/jart/cosmopolitan
ARG COSMO_FLAVOR=def
ARG COSMO_COMMIT=4a6fd3d9103f2350359388ab6c4311bca34d25c4
ARG COSMO_SHA256=65182d3a88b594f88ba3b1b0eed60f2a9693ae33af2829e37bb0926937de8d9c
ARG COSMO_COMMIT=9b7c8db8465ee4593709d9c95759baf0ac0f8036
ARG COSMO_SHA256=97874b14956d48c60fcfcebdd7ab1409f4e019079060ccb29eb9c3c936884e95
FROM localhost/notwa-util AS downloader
ARG COSMO_COMMIT COSMO_SHA256