Admin/components/main
author wenzelm
Thu Mar 21 12:38:06 2019 +0100 (3 months ago ago)
changeset 70116 13276f83fdac
parent 70084 63721ee8c86c
child 70136 96905404ffba
permissions -rw-r--r--
updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4;
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@70066
     7
isabelle_fonts-20190309
wenzelm@69770
     8
jdk-11.0.2+9
wenzelm@70021
     9
jedit_build-20190224
wenzelm@68007
    10
jfreechart-1.5.0
wenzelm@56596
    11
jortho-1.0-2
wenzelm@68678
    12
kodkodi-1.5.2-1
blanchet@66638
    13
nunchaku-0.5
wenzelm@70116
    14
opam-2.0.3
wenzelm@70084
    15
polyml-5.8
wenzelm@69098
    16
postgresql-42.2.5
wenzelm@69448
    17
scala-2.12.8
blanchet@66638
    18
smbc-0.4.1
blanchet@68207
    19
spass-3.8ds-1
wenzelm@68389
    20
sqlite-jdbc-3.23.1
wenzelm@69146
    21
ssh-java-20161009
wenzelm@69429
    22
stack-1.9.3
blanchet@68564
    23
vampire-4.2.2
wenzelm@67996
    24
xz-java-1.8
blanchet@68207
    25
z3-4.4.0pre-2