--- a/Admin/components/components.sha1 Fri Sep 12 22:42:03 2025 +0200
+++ b/Admin/components/components.sha1 Sat Sep 13 14:26:14 2025 +0200
@@ -367,6 +367,7 @@
400af57ec5cd51f96928d9de00d077524a6fe316 macos_app-20181205.tar.gz
3bc42b8e22f0be5ec5614f1914066164c83498f8 macos_app-20181208.tar.gz
5fb1a2d21b220d0e588790c0203ac87c10ed0870 minisat-2.2.1-1.tar.gz
+911903afdfe424ea9688f4712717d479145c4f08 minisat-2.2.1-2.tar.gz
ae76bfaade3bf72ff6b2d3aafcd52fa45609fcd1 minisat-2.2.1.tar.gz
59aa13f48685326995714cc6028aebb789e445e3 mlton-20210117-1.tar.gz
7624509ba58b9b8231626a66eda571fba69f7cd3 mlton-20210117-2.tar.gz