From c6866b36f34fff5593089c975b0e1369f78093f4 Mon Sep 17 00:00:00 2001 From: Connor Olding Date: Tue, 4 Oct 2022 19:13:52 -0700 Subject: [PATCH] cosmo, muon, yices: update versions --- cosmo-muon/Dockerfile | 4 ++-- cosmo-yices/Dockerfile | 4 ++-- cosmo/Dockerfile | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/cosmo-muon/Dockerfile b/cosmo-muon/Dockerfile index 9b33d22..a119308 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=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 \ diff --git a/cosmo-yices/Dockerfile b/cosmo-yices/Dockerfile index 7b2e0e8..450454b 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 -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 diff --git a/cosmo/Dockerfile b/cosmo/Dockerfile index eb3d8c8..16fe21e 100644 --- a/cosmo/Dockerfile +++ b/cosmo/Dockerfile @@ -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