changeset 74819 | ed3adabf0dbe |
parent 74417 | cfb0414adc84 |
child 75393 | 87ebf5a50283 |
--- 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 */