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

update shit

Browse Source
This commit is contained in:
Connor Olding 2023-05-13 01:17:10 -07:00
parent 0af3a894a8
commit 5d721c561a
4 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cosmo-bootstrap/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=b31ba86ace4fe8605bb0fa06fbfd5b7781ca6f88
ARG COSMO_SHA256=6f76399bee88985c081a3324687adb181a611e30e13b68aa86bc1e91232763be
ARG COSMO_COMMIT=45186c74ac6320c9328347ffe6e0e0d2e4812db0
ARG COSMO_SHA256=99557eec303eb0ba5311a001134081edc1c44a33d448c2e8d4ec09c04eab2ab1
ARG COSMO_REBUILD=0
FROM localhost/notwa-util AS downloader

4
cosmo-mini/Dockerfile
View File

@ -18,8 +18,8 @@ ARG XE_SHA256=f1ac997912c9be92a74a67a766dde74d1f9b6b20e48d7c7e71598ad4b787b37d
# MAIN: http://selfie.cs.uni-salzburg.at/
# REPO: https://github.com/cksystemsteaching/selfie
ARG SELFIE_COMMIT=8336aca9df3909b93ba13fe56b46c20c2e0250e7
ARG SELFIE_SHA256=b4e40e599d8b9dec7740fa591ed519bb44e7955183a91e4aa15a20ef8da1bb44
ARG SELFIE_COMMIT=9d5cf9caac9b00ac48b96c527ddda6c550f652fa
ARG SELFIE_SHA256=5ea9e9cd7df6e6e67e3757cd8483e8e653fa4d7469275f3fdf89483c2744d4a9
# MAIN: n/a
# REPO: https://github.com/atomicobject/heatshrink

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=dc432474c02285b3693e8591701634ad7f35f55d
ARG MUON_SHA256=6ebf2a0e8e807015aa805aac57ad491f4ea548b8fcbb74199271e30bc8a05721
ARG MUON_COMMIT=fa0cd001b1ed68c75a2f5700032733fd31bd7148
ARG MUON_SHA256=c82686bdd2d07d5707c239f01b1e150054ee5c85d684c7edcc35399cdd0c67c2
RUN --mount=type=cache,id=common,target=/media/common,sharing=locked \
--mount=type=tmpfs,target=/tmp : \
&& acquire from=sourcehut repo=lattis/muon dest=/muon env=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
ARG YICES_COMMIT=23980b9b6cff5e8eaa50957cb62738470657a761
ARG YICES_SHA256=eed8cf6305e55033daded0ba247a2abd014360bf8d731192f56f09c5b6dff9b9
ARG YICES_COMMIT=3bd35801938e815c431aa1306af8049fa068a5ba
ARG YICES_SHA256=4f1c781ce053da370f1fb67f3f32bc253224f52044f0552dc32c33336fcb77c5
# MAIN: https://gmplib.org/
# REPO: https://gmplib.org/repo/
ARG GMP_VERSION=6.2.1