Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update URL for veriT download, without change of its version;
authorwenzelm
Tue, 11 Nov 2025 01:03:45 +0100
changeset 83545 b7d4dddac250
parent 83544 d1a66e53c15c
child 83546 777c39896f31
update URL for veriT download, without change of its version;
src/Pure/Admin/component_verit.scala file | annotate | diff | comparison | revisions 
--- 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 */
isabelle