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