changeset 66686 | 4f73201b8043 |
parent 66685 | 1b397be63e68 |
child 66691 | a8703e8ee1d3 |
--- a/Admin/components/main Fri Sep 22 13:07:11 2017 -0300 +++ b/Admin/components/main Sat Sep 23 13:31:32 2017 +0200 @@ -1,7 +1,7 @@ #main components for everyday use, without big impact on overall build time bash_process-1.2.1 csdp-6.x -cvc4-1.5-2 +cvc4-1.5-3 e-2.0-1 isabelle_fonts-20160830 jdk-8u144