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-04-28 15:48:56 -07:00
parent 303012ca43
commit 04c85609a5
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=f5520209f53b06459ac68b2f4deeffc4bcc37278
ARG COSMO_SHA256=3b4616497a0cc16e47588c42b614a49369a6d0ecabb339a50ebc96f3c4b53d7c
ARG COSMO_COMMIT=1c2da3a55a6af892bc9c5036c03da403952983fe
ARG COSMO_SHA256=87f49dc098fe9fd25f55a94198d247be8bce50c5b1ef3bd5432ff53fe492ad04
ARG COSMO_REBUILD=0
FROM localhost/notwa-util AS downloader

4
cosmo-kuroko/Dockerfile
View File

@ -3,8 +3,8 @@
# TODO: add /zip/ support by default and include dist modules.
FROM localhost/notwa-util AS downloader
ARG KUROKO_COMMIT=f09f62e4410addf131ebefa0970b297ca77522d7
ARG KUROKO_SHA256=a11977624a0e52ee671035eb7545f3d1b271d0ca31bcfe0d3ea3b558ca98a8d4
ARG KUROKO_COMMIT=cd28d829397dcec9b12a15169e39933260dc9a65
ARG KUROKO_SHA256=de842898157b18d8b33ca03847242247e485dc5be9e5fb5271ac8144ca18511c
RUN --mount=type=cache,id=common,target=/media/common,sharing=locked \
--mount=type=tmpfs,target=/tmp : \

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=d0503e554efe941734c7f9cafc8e5fba1438df17
ARG MUON_SHA256=cd3cfdc1058ff11742ed87258c5be08fb2b633f3fb0281958b89d606164e5f79
ARG MUON_COMMIT=dc432474c02285b3693e8591701634ad7f35f55d
ARG MUON_SHA256=6ebf2a0e8e807015aa805aac57ad491f4ea548b8fcbb74199271e30bc8a05721
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=af766a474c3cfde2328262de827edf18e47fb646
ARG YICES_SHA256=25b20f44a6449921b08a14c13c60177b9fef4937b2a210af7db9a9941918f0e5
ARG YICES_COMMIT=6e5b85ae7758a42f76080ac0449202e3239df8ae
ARG YICES_SHA256=84c8561b63ba880c4fda83f4078847cc85fd40f11c0db8dbb6bf070f79fbe219
# MAIN: https://gmplib.org/
# REPO: https://gmplib.org/repo/
ARG GMP_VERSION=6.2.1