From 04c85609a52e0334c94610712a35b78b04a67fce Mon Sep 17 00:00:00 2001 From: Connor Olding Date: Fri, 28 Apr 2023 15:48:56 -0700 Subject: [PATCH] update shit --- cosmo-bootstrap/Dockerfile | 4 ++-- cosmo-kuroko/Dockerfile | 4 ++-- cosmo-muon/Dockerfile | 4 ++-- cosmo-yices/Dockerfile | 4 ++-- 4 files changed, 8 insertions(+), 8 deletions(-) diff --git a/cosmo-bootstrap/Dockerfile b/cosmo-bootstrap/Dockerfile index c206688..6ebf84b 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=f5520209f53b06459ac68b2f4deeffc4bcc37278 -ARG COSMO_SHA256=3b4616497a0cc16e47588c42b614a49369a6d0ecabb339a50ebc96f3c4b53d7c +ARG COSMO_COMMIT=1c2da3a55a6af892bc9c5036c03da403952983fe +ARG COSMO_SHA256=87f49dc098fe9fd25f55a94198d247be8bce50c5b1ef3bd5432ff53fe492ad04 ARG COSMO_REBUILD=0 FROM localhost/notwa-util AS downloader diff --git a/cosmo-kuroko/Dockerfile b/cosmo-kuroko/Dockerfile index b21fd46..83184c4 100644 --- a/cosmo-kuroko/Dockerfile +++ b/cosmo-kuroko/Dockerfile @@ -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 : \ diff --git a/cosmo-muon/Dockerfile b/cosmo-muon/Dockerfile index 78520fa..9faa22c 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=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 \ diff --git a/cosmo-yices/Dockerfile b/cosmo-yices/Dockerfile index e1a8456..a0403a0 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=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