author | wenzelm |
Tue, 19 Jan 2021 13:48:53 +0100 | |
changeset 73160 | aeba7bb4f4d4 |
parent 73136 | ca17e9ebfdf1 |
child 73174 | ab3fa0abc119 |
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.8 e-2.5-1 flatlaf-1.0-rc1 isabelle_fonts-20190717 jdk-15.0.1+9 jedit_build-20201223 jfreechart-1.5.1 jortho-1.0-2 kodkodi-1.5.6 nunchaku-0.5 opam-2.0.7 polyml-test-f86ae3dc1686 postgresql-42.2.18 scala-2.13.4 smbc-0.4.1 spass-3.8ds-2 sqlite-jdbc-3.34.0 ssh-java-20190323 stack-2.5.1 vampire-4.2.2 verit-2020.10-rmx-1 xz-java-1.8 z3-4.4.0pre-3 zipperposition-2.0-1