# HG changeset patch
# User wenzelm
# Date 1633547880 -7200
# Node ID d4c2a9191cd10fe632152cccc816390a2fdb75de
# Parent  981e3b6b08a579f984d59671f9fb0fa40fda144d
updated to Vampire 4.6, as proposed by Martin Desharnais;

diff -r 981e3b6b08a5 -r d4c2a9191cd1 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Oct 06 20:26:08 2021 +0200
+++ b/Admin/components/components.sha1	Wed Oct 06 21:18:00 2021 +0200
@@ -415,6 +415,7 @@
 399f687b56575b93e730f68c91c989cb48aa34d8  vampire-4.2.2.tar.gz
 0402978ca952f08eea73e483b694928ac402a304  vampire-4.5.1-1.tar.gz
 26d9d171e169c6420a08aa99eda03ef5abb9c545  vampire-4.5.1.tar.gz
+4571c042efd6fc3097e105a528826959acd888a3  vampire-4.6.tar.gz
 98c5c79fef7256db9f64c8feea2edef0a789ce46  verit-2016post.tar.gz
 52ba18a6c96b53c5ae9b179d5a805a0c08f1da6d  verit-2020.10-rmx-1.tar.gz
 b6706e74e20e14038e9b38f0acdb5639a134246a  verit-2020.10-rmx.tar.gz
diff -r 981e3b6b08a5 -r d4c2a9191cd1 Admin/components/main
--- a/Admin/components/main	Wed Oct 06 20:26:08 2021 +0200
+++ b/Admin/components/main	Wed Oct 06 21:18:00 2021 +0200
@@ -24,7 +24,7 @@
 sqlite-jdbc-3.36.0.3
 ssh-java-20190323
 stack-2.7.3
-vampire-4.5.1-1
+vampire-4.6
 verit-2021.06-rmx
 xz-java-1.9
 z3-4.4.0pre-3
diff -r 981e3b6b08a5 -r d4c2a9191cd1 NEWS
--- a/NEWS	Wed Oct 06 20:26:08 2021 +0200
+++ b/NEWS	Wed Oct 06 21:18:00 2021 +0200
@@ -192,7 +192,7 @@
 * Sledgehammer:
   - Update of bundled provers:
       E 2.6
-      Vampire 4.5.1 (with Open Source license)
+      Vampire 4.6 (with Open Source license)
       veriT 2021.06-rmx
       Zipperposition 2.1
   - Adjusted default provers: