# HG changeset patch
# User wenzelm
# Date 1633385041 -7200
# Node ID ffb15f7f26d5e55927c6d1dae599f26f0b7d7477
# Parent  c876e8c6184317796a62e3bf71092c1f9337bacb
include arm64-linux;

diff -r c876e8c61843 -r ffb15f7f26d5 Admin/components/components.sha1
--- 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
diff -r c876e8c61843 -r ffb15f7f26d5 Admin/components/main
--- 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