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 current vampire-4.5.1: presently unused in Sledgehammer, but relevant for Isabelle/Naproche;
authorwenzelm
Wed, 15 Sep 2021 19:46:03 +0200
changeset 74314 c645d973f881
parent 74313 6b998ce1b8cb
child 74315 30a0f5879d90
provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant for Isabelle/Naproche;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Wed Sep 15 16:13:25 2021 +0200
+++ b/Admin/components/components.sha1	Wed Sep 15 19:46:03 2021 +0200
@@ -401,6 +401,7 @@
 8486387f61557147ec06b1f637117c017c8f0528  sumatra_pdf-3.1.2.tar.gz
 869ea6d8ea35c8ba68d7fcb028f16b2b7064c5fd  vampire-1.0.tar.gz
 399f687b56575b93e730f68c91c989cb48aa34d8  vampire-4.2.2.tar.gz
+26d9d171e169c6420a08aa99eda03ef5abb9c545  vampire-4.5.1.tar.gz
 98c5c79fef7256db9f64c8feea2edef0a789ce46  verit-2016post.tar.gz
 52ba18a6c96b53c5ae9b179d5a805a0c08f1da6d  verit-2020.10-rmx-1.tar.gz
 b6706e74e20e14038e9b38f0acdb5639a134246a  verit-2020.10-rmx.tar.gz
--- a/Admin/components/main	Wed Sep 15 16:13:25 2021 +0200
+++ b/Admin/components/main	Wed Sep 15 19:46:03 2021 +0200
@@ -25,6 +25,7 @@
 sqlite-jdbc-3.34.0
 ssh-java-20190323
 stack-2.7.3
+vampire-4.5.1
 verit-2020.10-rmx-1
 xz-java-1.8
 z3-4.4.0pre-3
isabelle