# HG changeset patch
# User wenzelm
# Date 1762819425 -3600
# Node ID b7d4dddac250e9eb1b26e8a763ac14af5035afec
# Parent  d1a66e53c15c595da37e6469d3b0d708dea809a6
update URL for veriT download, without change of its version;

diff -r d1a66e53c15c -r b7d4dddac250 src/Pure/Admin/component_verit.scala
--- a/src/Pure/Admin/component_verit.scala	Mon Nov 10 22:28:18 2025 +0100
+++ b/src/Pure/Admin/component_verit.scala	Tue Nov 11 01:03:45 2025 +0100
@@ -8,7 +8,7 @@
 
 
 object Component_VeriT {
-  val default_download_url = "https://verit.loria.fr/rmx/2021.06.2/verit-2021.06.2-rmx.tar.gz"
+  val default_download_url = "https://www.verit-solver.org/download/2021.06.2/verit-2021.06.2-rmx.tar.gz"
 
 
   /* build veriT */