Admin/components/main
author wenzelm
Wed Nov 01 22:13:38 2017 +0100 (19 months ago)
changeset 66986 5188b1c59434
parent 66935 d0f12783cd80
child 67009 b68592732783
permissions -rw-r--r--
more timing;
     1 #main components for everyday use, without big impact on overall build time
     2 bash_process-1.2.2
     3 csdp-6.x
     4 cvc4-1.5-3
     5 e-2.0-1
     6 isabelle_fonts-20160830
     7 jdk-8u152
     8 jedit_build-20170319
     9 jfreechart-1.0.14-1
    10 jortho-1.0-2
    11 kodkodi-1.5.2
    12 nunchaku-0.5
    13 polyml-test-e8d82343b692
    14 postgresql-42.1.4
    15 scala-2.12.3
    16 smbc-0.4.1
    17 ssh-java-20161009
    18 spass-3.8ds
    19 sqlite-jdbc-3.20.0
    20 verit-2016post
    21 xz-java-1.6
    22 z3-4.4.0pre-1