updated to verit-2021.06.1-rmx, to address "Abnormal termination with exit code 14";
authorwenzelm
Thu, 04 Nov 2021 15:54:01 +0100
changeset 75076 23a97a547a9e
parent 75075 7e31f7022c7b
child 75077 55a4b319b2b9
updated to verit-2021.06.1-rmx, to address "Abnormal termination with exit code 14";
Admin/components/components.sha1
Admin/components/main
--- a/Admin/components/components.sha1	Thu Nov 04 15:44:37 2021 +0100
+++ b/Admin/components/components.sha1	Thu Nov 04 15:54:01 2021 +0100
@@ -430,6 +430,7 @@
 b6706e74e20e14038e9b38f0acdb5639a134246a  verit-2020.10-rmx.tar.gz
 d33e1e36139e86b9e9a48d8b46a6f90d7863a51c  verit-2021.06-rmx-1.tar.gz
 c11d1120fcefaec79f099fe2be05b03cd2aed8b9  verit-2021.06-rmx.tar.gz
+b576fd5d89767c1067541d4839fb749c6a68d22c  verit-2021.06.1-rmx.tar.gz
 81d21dfd0ea5c58f375301f5166be9dbf8921a7a  windows_app-20130716.tar.gz
 fe15e1079cf5ad86f3cbab4553722a0d20002d11  windows_app-20130905.tar.gz
 e6a43b7b3b21295853bd2a63b27ea20bd6102f5f  windows_app-20130906.tar.gz
--- a/Admin/components/main	Thu Nov 04 15:44:37 2021 +0100
+++ b/Admin/components/main	Thu Nov 04 15:54:01 2021 +0100
@@ -26,7 +26,7 @@
 ssh-java-20190323
 stack-2.7.3
 vampire-4.6
-verit-2021.06-rmx-1
+verit-2021.06.1-rmx
 xz-java-1.9
 z3-4.4.0pre-3
 zipperposition-2.1-1