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

cosmo, muon, yices: update versions

Browse source
This commit is contained in:
Connor Olding 2022-10-04 19:13:52 -07:00
parent 98cb2e2a63
commit c6866b36f3
3 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
cosmo-muon/Dockerfile
View file

@ -1,8 +1,8 @@
# MAIN: https://muon.build/
# REPO: https://git.sr.ht/~lattis/muon
FROM localhost/notwa-util AS downloader
ARG MUON_COMMIT=679b0b40e3d813650c8b8505d8675e7e56b86a4d
ARG MUON_SHA256=a774901cba8b2c5dde58d746e5aaf9234bf513434a3e5df83736de0a90c1c356
ARG MUON_COMMIT=85bdfad2c61f1d2ec7ae40e539c74d0755fd13f4
ARG MUON_SHA256=8ef1cac3d268029a5f3091b5f42b13ab2f97736021b1163f386a1a0dbe57d861
RUN --mount=type=cache,id=common,target=/media/common,sharing=locked \
--mount=type=tmpfs,target=/tmp : \
&& acquire from=sourcehut repo=lattis/muon dest=/muon \

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
ENV YICES_COMMIT=708e65e260125a6196fad71ed4ebf4a41f4effc4
ENV YICES_SHA256=1f8087d01ab5d63821ce5e0e3ef12195bdede112c2f859f4733e9909d2ce38c8
ENV YICES_COMMIT=d28304671590ed04f13ce930aaae27015542c8ea
ENV YICES_SHA256=f1bd9979a9070e515fdc60d07836912e0058263f431b9b1a18f8975be1b95242
# MAIN: https://gmplib.org/
# REPO: https://gmplib.org/repo/
ENV 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=556697cbd8df8386b2ce218b9abbd9fe81e4f678
ARG COSMO_SHA256=4c385575a673a33bc18d5c62b514d4195b661580f76164791141c39af530896c
ARG COSMO_COMMIT=726f04e8aae0da7ebcfed629e0cc40a10ccc7ac7
ARG COSMO_SHA256=b3c04612223c211ca93fe82fdba042eebe97f27b63342934a3b875cb4341801c
FROM localhost/notwa-util AS downloader
ARG COSMO_COMMIT