# HG changeset patch
# User wenzelm
# Date 1602707418 -7200
# Node ID 56ef403eab15c4ccf6c05dcda59f880f273e3b1c
# Parent  845001bdf41aa06c1ec3fdf69be0d7ae47e279ef
provide verit-2020.10-rmx for testing (inactive);

diff -r 845001bdf41a -r 56ef403eab15 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Oct 14 22:16:10 2020 +0200
+++ b/Admin/components/components.sha1	Wed Oct 14 22:30:18 2020 +0200
@@ -330,6 +330,7 @@
 869ea6d8ea35c8ba68d7fcb028f16b2b7064c5fd  vampire-1.0.tar.gz
 399f687b56575b93e730f68c91c989cb48aa34d8  vampire-4.2.2.tar.gz
 98c5c79fef7256db9f64c8feea2edef0a789ce46  verit-2016post.tar.gz
+b6706e74e20e14038e9b38f0acdb5639a134246a  verit-2020.10-rmx.tar.gz
 81d21dfd0ea5c58f375301f5166be9dbf8921a7a  windows_app-20130716.tar.gz
 fe15e1079cf5ad86f3cbab4553722a0d20002d11  windows_app-20130905.tar.gz
 e6a43b7b3b21295853bd2a63b27ea20bd6102f5f  windows_app-20130906.tar.gz