| changeset 70293 | c7e9d3a0a681 |
| parent 70291 | 9f3441164e92 |
| child 70374 | 2b4c40722f0b |
--- a/Admin/components/main Mon May 27 14:25:00 2019 +0200 +++ b/Admin/components/main Mon May 27 15:08:51 2019 +0200 @@ -2,7 +2,7 @@ bash_process-1.2.3 bib2xhtml-20190409 csdp-6.x -cvc4-1.5-4 +cvc4-1.5-5 e-2.0-2 isabelle_fonts-20190409 jdk-11.0.3+7 @@ -22,4 +22,4 @@ stack-1.9.3 vampire-4.2.2 xz-java-1.8 -z3-4.4.0pre-2 +z3-4.4.0pre-3