# HG changeset patch
# User wenzelm
# Date 1637350535 -3600
# Node ID ed3adabf0dbe529fb867c63a91cb2eba3b167f44
# Parent  3064e165c66065f38a61c799c1d2d38c8e414b1f
updated to verit-2021.06.2-rmx;

diff -r 3064e165c660 -r ed3adabf0dbe Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Nov 17 20:49:09 2021 +0100
+++ b/Admin/components/components.sha1	Fri Nov 19 20:35:35 2021 +0100
@@ -436,6 +436,7 @@
 d33e1e36139e86b9e9a48d8b46a6f90d7863a51c  verit-2021.06-rmx-1.tar.gz
 c11d1120fcefaec79f099fe2be05b03cd2aed8b9  verit-2021.06-rmx.tar.gz
 b576fd5d89767c1067541d4839fb749c6a68d22c  verit-2021.06.1-rmx.tar.gz
+19c6e5677b0a26cbc5805da79d00d06a66b7a671  verit-2021.06.2-rmx.tar.gz
 81d21dfd0ea5c58f375301f5166be9dbf8921a7a  windows_app-20130716.tar.gz
 fe15e1079cf5ad86f3cbab4553722a0d20002d11  windows_app-20130905.tar.gz
 e6a43b7b3b21295853bd2a63b27ea20bd6102f5f  windows_app-20130906.tar.gz
diff -r 3064e165c660 -r ed3adabf0dbe Admin/components/main
--- a/Admin/components/main	Wed Nov 17 20:49:09 2021 +0100
+++ b/Admin/components/main	Fri Nov 19 20:35:35 2021 +0100
@@ -26,7 +26,7 @@
 ssh-java-20190323
 stack-2.7.3
 vampire-4.6
-verit-2021.06.1-rmx
+verit-2021.06.2-rmx
 xz-java-1.9
 z3-4.4.0_4.4.1
 zipperposition-2.1-1
diff -r 3064e165c660 -r ed3adabf0dbe src/Pure/Admin/build_verit.scala
--- a/src/Pure/Admin/build_verit.scala	Wed Nov 17 20:49:09 2021 +0100
+++ b/src/Pure/Admin/build_verit.scala	Fri Nov 19 20:35:35 2021 +0100
@@ -9,7 +9,7 @@
 
 object Build_VeriT
 {
-  val default_download_url = "https://verit.loria.fr/rmx/2021.06/verit-2021.06-rmx.tar.gz"
+  val default_download_url = "https://verit.loria.fr/rmx/2021.06.2/verit-2021.06.2-rmx.tar.gz"
 
 
   /* build veriT */