author | blanchet |
Fri, 22 Sep 2017 13:07:11 -0300 | |
changeset 66685 | 1b397be63e68 |
parent 66636 | 6585669c33dc |
child 66686 | 4f73201b8043 |
permissions | -rw-r--r-- |
#main components for everyday use, without big impact on overall build time bash_process-1.2.1 csdp-6.x cvc4-1.5-2 e-2.0-1 isabelle_fonts-20160830 jdk-8u144 jedit_build-20170319 jfreechart-1.0.14-1 jortho-1.0-2 kodkodi-1.5.2 nunchaku-0.5 polyml-5.6-1 postgresql-42.1.4 scala-2.12.3 smbc-0.4.1 ssh-java-20161009 spass-3.8ds sqlite-jdbc-3.20.0 xz-java-1.6 z3-4.4.0pre