author | wenzelm |
Fri, 09 Oct 2020 13:41:06 +0200 | |
changeset 72413 | c2b44fb3add4 |
parent 72407 | 5b15a9f854aa |
child 72419 | 72667f4994a6 |
permissions | -rw-r--r-- |
#main components for everyday use, without big impact on overall build time bash_process-1.2.3-1 bib2xhtml-20190409 csdp-6.1-1 cvc4-1.5-5 e-2.0-5 isabelle_fonts-20190717 jdk-11.0.5+10 jedit_build-20200908 jfreechart-1.5.0 jortho-1.0-2 kodkodi-1.5.6 nunchaku-0.5 opam-2.0.7 polyml-test-a3cfdf648da-2 postgresql-42.2.9 scala-2.12.12 smbc-0.4.1 spass-3.8ds-2 sqlite-jdbc-3.32.3.2 ssh-java-20190323 stack-2.1.3 vampire-4.2.2 xz-java-1.8 z3-4.4.0pre-3