From 8ac6be1fb61e4017811561b9bb77704ff2654a03 Mon Sep 17 00:00:00 2001 From: Connor Olding Date: Sun, 9 Oct 2022 14:21:07 -0700 Subject: [PATCH] cosmo, yices: update versions --- cosmo-yices/Dockerfile | 4 ++-- cosmo/Dockerfile | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/cosmo-yices/Dockerfile b/cosmo-yices/Dockerfile index 98512fc..7fa4341 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=d28304671590ed04f13ce930aaae27015542c8ea -ARG YICES_SHA256=f1bd9979a9070e515fdc60d07836912e0058263f431b9b1a18f8975be1b95242 +ARG YICES_COMMIT=316ab8c2ba723231c12efec9948090718bbc8ce5 +ARG YICES_SHA256=c2e0a85069ce8eb5029830190d6d282dab36cc28ca872682f9a619c089deff2e # MAIN: https://gmplib.org/ # REPO: https://gmplib.org/repo/ ARG GMP_VERSION=6.2.1 diff --git a/cosmo/Dockerfile b/cosmo/Dockerfile index ce306ed..9614fd1 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=4a6fd3d9103f2350359388ab6c4311bca34d25c4 -ARG COSMO_SHA256=65182d3a88b594f88ba3b1b0eed60f2a9693ae33af2829e37bb0926937de8d9c +ARG COSMO_COMMIT=9b7c8db8465ee4593709d9c95759baf0ac0f8036 +ARG COSMO_SHA256=97874b14956d48c60fcfcebdd7ab1409f4e019079060ccb29eb9c3c936884e95 FROM localhost/notwa-util AS downloader ARG COSMO_COMMIT COSMO_SHA256