Admin/components/main
author wenzelm
Wed Mar 09 20:11:25 2016 +0100 (2016-03-09)
changeset 62575 590df5f4e531
parent 62569 5db10482f4cf
child 62705 b2e19991902a
permissions -rw-r--r--
ignore SIGINT in waiting wrapper process;
proper "bash_process.c" and "build" within component;
wenzelm@48847
     1
#main components for everyday use, without big impact on overall build time
wenzelm@62575
     2
bash_process-1.2.1
wenzelm@58420
     3
csdp-6.x
blanchet@61533
     4
cvc4-1.5pre-3
blanchet@53014
     5
e-1.8
noschinl@60290
     6
Haskabelle-2015
wenzelm@62440
     7
isabelle_fonts-20160227
wenzelm@62211
     8
jdk-8u72
wenzelm@61746
     9
jedit_build-20151124
wenzelm@53576
    10
jfreechart-1.0.14-1
wenzelm@56596
    11
jortho-1.0-2
blanchet@50230
    12
kodkodi-1.5.2
wenzelm@62281
    13
polyml-5.6-1
wenzelm@60566
    14
scala-2.11.7
wenzelm@48843
    15
spass-3.8ds
wenzelm@53576
    16
xz-java-1.2-1
blanchet@59959
    17
z3-4.4.0pre