diff -r 255e651a4c5f -r f345da8defff Admin/components/main
--- a/Admin/components/main	Mon Nov 08 16:48:42 2021 +0100
+++ b/Admin/components/main	Mon Nov 08 19:25:17 2021 +0100
@@ -14,7 +14,7 @@
 jfreechart-1.5.3
 jortho-1.0-2
 kodkodi-1.5.7
-minisat-2.2.1
+minisat-2.2.1-1
 nunchaku-0.5
 opam-2.0.7
 polyml-5.9-5d4caa8f7148