| changeset 74417 | cfb0414adc84 |
| parent 73566 | 4e6b31ed7197 |
| child 74819 | ed3adabf0dbe |
| 74416:9f34c780906e | 74417:cfb0414adc84 |
|---|---|
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |
10 object Build_VeriT |
10 object Build_VeriT |
11 { |
11 { |
12 val default_download_url = "https://verit.loria.fr/rmx/2020.10/verit-2020.10-rmx.tar.gz" |
12 val default_download_url = "https://verit.loria.fr/rmx/2021.06/verit-2021.06-rmx.tar.gz" |
13 |
13 |
14 |
14 |
15 /* build veriT */ |
15 /* build veriT */ |
16 |
16 |
17 def build_verit( |
17 def build_verit( |