Admin/components/main
author wenzelm
Sat Jan 13 21:41:36 2018 +0100 (19 months ago)
changeset 67424 0b691782d6e5
parent 67305 ecb74607063f
child 67491 59527ee2d6da
permissions -rw-r--r--
added glyph from "Deja Vu Sans Mono" font;
wenzelm@48847
     1
#main components for everyday use, without big impact on overall build time
wenzelm@66691
     2
bash_process-1.2.2
wenzelm@67243
     3
bib2xhtml-20171221
wenzelm@58420
     4
csdp-6.x
wenzelm@66686
     5
cvc4-1.5-3
blanchet@66685
     6
e-2.0-1
wenzelm@67424
     7
isabelle_fonts-20180113
wenzelm@66906
     8
jdk-8u152
wenzelm@65329
     9
jedit_build-20170319
wenzelm@53576
    10
jfreechart-1.0.14-1
wenzelm@56596
    11
jortho-1.0-2
blanchet@50230
    12
kodkodi-1.5.2
blanchet@66636
    13
nunchaku-0.5
wenzelm@67099
    14
polyml-5.7.1
wenzelm@66470
    15
postgresql-42.1.4
wenzelm@67010
    16
scala-2.12.4
blanchet@66636
    17
smbc-0.4.1
wenzelm@64123
    18
ssh-java-20161009
wenzelm@48843
    19
spass-3.8ds
wenzelm@66471
    20
sqlite-jdbc-3.20.0
blanchet@66734
    21
verit-2016post
wenzelm@65872
    22
xz-java-1.6
wenzelm@66774
    23
z3-4.4.0pre-1