diff --git a/cosmo-bootstrap/Dockerfile b/cosmo-bootstrap/Dockerfile index 6ce47e4..1921128 100644 --- a/cosmo-bootstrap/Dockerfile +++ b/cosmo-bootstrap/Dockerfile @@ -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 diff --git a/cosmo-mini/Dockerfile b/cosmo-mini/Dockerfile index 00804e1..03dd1e7 100644 --- a/cosmo-mini/Dockerfile +++ b/cosmo-mini/Dockerfile @@ -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 diff --git a/cosmo-muon/Dockerfile b/cosmo-muon/Dockerfile index 9faa22c..e47781d 100644 --- a/cosmo-muon/Dockerfile +++ b/cosmo-muon/Dockerfile @@ -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 \ diff --git a/cosmo-yices/Dockerfile b/cosmo-yices/Dockerfile index b92e137..352ffe2 100644 --- a/cosmo-yices/Dockerfile +++ b/cosmo-yices/Dockerfile @@ -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