--- 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