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.
include arm64-linux;
authorwenzelm
Tue, 05 Oct 2021 00:04:01 +0200
changeset 74460 ffb15f7f26d5
parent 74459 c876e8c61843
child 74461 8e9f38240c05
include arm64-linux;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Tue Oct 05 00:03:39 2021 +0200
+++ b/Admin/components/components.sha1	Tue Oct 05 00:04:01 2021 +0200
@@ -413,6 +413,7 @@
 e8648878f908e93d64a393231ab21fdac976a9c2  sumatra_pdf-3.3.3.tar.gz
 869ea6d8ea35c8ba68d7fcb028f16b2b7064c5fd  vampire-1.0.tar.gz
 399f687b56575b93e730f68c91c989cb48aa34d8  vampire-4.2.2.tar.gz
+0402978ca952f08eea73e483b694928ac402a304  vampire-4.5.1-1.tar.gz
 26d9d171e169c6420a08aa99eda03ef5abb9c545  vampire-4.5.1.tar.gz
 98c5c79fef7256db9f64c8feea2edef0a789ce46  verit-2016post.tar.gz
 52ba18a6c96b53c5ae9b179d5a805a0c08f1da6d  verit-2020.10-rmx-1.tar.gz
--- a/Admin/components/main	Tue Oct 05 00:03:39 2021 +0200
+++ b/Admin/components/main	Tue Oct 05 00:04:01 2021 +0200
@@ -24,7 +24,7 @@
 sqlite-jdbc-3.36.0.3
 ssh-java-20190323
 stack-2.7.3
-vampire-4.5.1
+vampire-4.5.1-1
 verit-2021.06-rmx
 xz-java-1.9
 z3-4.4.0pre-3
isabelle