author | wenzelm |
Sun, 09 Oct 2016 23:08:40 +0200 | |
changeset 64123 | a967b5a07f92 |
parent 63990 | 785908f6f40e |
child 64313 | ae7c11573922 |
permissions | -rw-r--r-- |
48847 | 1 |
#main components for everyday use, without big impact on overall build time |
62575 | 2 |
bash_process-1.2.1 |
58420 | 3 |
csdp-6.x |
61533
a63e3f2ef47b
updated CVC4 component to deal with paths with whitespace
blanchet
parents:
61511
diff
changeset
|
4 |
cvc4-1.5pre-3 |
53014 | 5 |
e-1.8 |
60290
88ccc0ae310c
add Haskabelle-2015 component
Lars Noschinski <noschinl@in.tum.de>
parents:
60280
diff
changeset
|
6 |
Haskabelle-2015 |
63733 | 7 |
isabelle_fonts-20160830 |
63557 | 8 |
jdk-8u102 |
62757 | 9 |
jedit_build-20160330 |
53576
793a429c63e7
maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
wenzelm
parents:
53522
diff
changeset
|
10 |
jfreechart-1.0.14-1 |
56596
40edc550667c
updated to jortho-1.0-2: added dictionary "en-CA", changed dictionary "en" to be the union of all dialects instead of intersection;
wenzelm
parents:
56557
diff
changeset
|
11 |
jortho-1.0-2 |
50230 | 12 |
kodkodi-1.5.2 |
62281
707f9b182f4f
evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged;
wenzelm
parents:
62252
diff
changeset
|
13 |
polyml-5.6-1 |
62705 | 14 |
scala-2.11.8 |
64123 | 15 |
ssh-java-20161009 |
48843 | 16 |
spass-3.8ds |
63776 | 17 |
sqlite-jdbc-3.8.11.2 |
63990 | 18 |
xz-java-1.5 |
59959 | 19 |
z3-4.4.0pre |