Admin/components/main
author wenzelm
Sun Jul 22 14:01:52 2018 +0200 (12 months ago ago)
changeset 68675 4535a45182d5
parent 68564 3ee6947bfb34
child 68678 daf21cb6ebc1
permissions -rw-r--r--
updated to polyml-5.7.1-7 (see also afa7c5a239e6);
wenzelm@48847
     1
#main components for everyday use, without big impact on overall build time
wenzelm@66693
     2
bash_process-1.2.2
wenzelm@67243
     3
bib2xhtml-20171221
wenzelm@58420
     4
csdp-6.x
blanchet@68207
     5
cvc4-1.5-4
blanchet@68207
     6
e-2.0-2
wenzelm@67424
     7
isabelle_fonts-20180113
wenzelm@68009
     8
jdk-8u172
wenzelm@68081
     9
jedit_build-20180504
wenzelm@68007
    10
jfreechart-1.5.0
wenzelm@56596
    11
jortho-1.0-2
blanchet@50230
    12
kodkodi-1.5.2
blanchet@66638
    13
nunchaku-0.5
wenzelm@68675
    14
polyml-5.7.1-7
wenzelm@68015
    15
postgresql-42.2.2
wenzelm@68228
    16
scala-2.12.6
blanchet@66638
    17
smbc-0.4.1
wenzelm@64123
    18
ssh-java-20161009
blanchet@68207
    19
spass-3.8ds-1
wenzelm@68389
    20
sqlite-jdbc-3.23.1
blanchet@68564
    21
vampire-4.2.2
blanchet@66734
    22
verit-2016post
wenzelm@67996
    23
xz-java-1.8
blanchet@68207
    24
z3-4.4.0pre-2