author | wenzelm |
Tue, 03 Mar 2020 15:51:02 +0100 | |
changeset 71510 | 948143567b03 |
parent 71492 | a296d3697e50 |
child 71516 | a57413dd2909 |
permissions | -rw-r--r-- |
#main components for everyday use, without big impact on overall build time bash_process-1.2.3 bib2xhtml-20190409 csdp-6.1-1 cvc4-1.5-5 e-2.0-2 isabelle_fonts-20190717 jdk-11.0.6+10 jedit_build-20190717 jfreechart-1.5.0 jortho-1.0-2 kodkodi-1.5.2-1 nunchaku-0.5 opam-2.0.6 polyml-5.8.1-20200228 postgresql-42.2.9 scala-2.12.10 smbc-0.4.1 spass-3.8ds-1 sqlite-jdbc-3.30.1 ssh-java-20190323 stack-2.1.3 vampire-4.2.2 xz-java-1.8 z3-4.4.0pre-3