Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
provide minisat-2.2.1 on all currently supported platforms, notably as external solver for Nitpick;
authorwenzelm
Thu, 07 Oct 2021 14:02:18 +0200
changeset 74485 2d089ff0e03b
parent 74484 ef07e6d672cb
child 74486 74a36aae067a
provide minisat-2.2.1 on all currently supported platforms, notably as external solver for Nitpick;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Thu Oct 07 13:55:24 2021 +0200
+++ b/Admin/components/components.sha1	Thu Oct 07 14:02:18 2021 +0200
@@ -260,6 +260,7 @@
 ad5d0e640ce3609a885cecab645389a2204e03bb  macos_app-20150916.tar.gz
 400af57ec5cd51f96928d9de00d077524a6fe316  macos_app-20181205.tar.gz
 3bc42b8e22f0be5ec5614f1914066164c83498f8  macos_app-20181208.tar.gz
+ae76bfaade3bf72ff6b2d3aafcd52fa45609fcd1  minisat-2.2.1.tar.gz
 eda10c62da927a842c0a8881f726eac85e1cb4f7  naproche-20210122.tar.gz
 edcb517b7578db4eec1b6573b624f291776e11f6  naproche-20210124.tar.gz
 d858eb0ede6aea6b8cc40de63bd3a17f8f9f5300  naproche-20210129.tar.gz
--- a/Admin/components/main	Thu Oct 07 13:55:24 2021 +0200
+++ b/Admin/components/main	Thu Oct 07 14:02:18 2021 +0200
@@ -14,6 +14,7 @@
 jfreechart-1.5.3
 jortho-1.0-2
 kodkodi-1.5.6-1
+minisat-2.2.1
 nunchaku-0.5
 opam-2.0.7
 polyml-5.8.2
isabelle