author | wenzelm |
Sat, 06 Apr 2019 22:05:25 +0200 | |
changeset 70072 | 54dc58086351 |
parent 70052 | a670d20c600d |
child 70083 | 96776eb41854 |
permissions | -rw-r--r-- |
#main components for everyday use, without big impact on overall build time bash_process-1.2.2 bib2xhtml-20171221 csdp-6.x cvc4-1.5-4 e-2.0-2 isabelle_fonts-20190406 jdk-11.0.2+9 jedit_build-20190224 jfreechart-1.5.0 jortho-1.0-2 kodkodi-1.5.2-1 nunchaku-0.5 opam-2.0.3-1 polyml-5.8 postgresql-42.2.5 scala-2.12.8 smbc-0.4.1 spass-3.8ds-1 sqlite-jdbc-3.27.2.1 ssh-java-20190323 stack-1.9.3 vampire-4.2.2 xz-java-1.8 z3-4.4.0pre-2