author | blanchet |
Fri, 08 Sep 2017 00:58:08 +0200 | |
changeset 66636 | 6585669c33dc |
parent 66493 | c94c55cc8d86 |
child 66685 | 1b397be63e68 |
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 |
66493
c94c55cc8d86
upgraded CVC4 component to fix abnormal termination reported by Larry Paulson
blanchet
parents:
66471
diff
changeset
|
4 |
cvc4-1.5-1 |
66362 | 5 |
e-2.0 |
63733 | 6 |
isabelle_fonts-20160830 |
66413 | 7 |
jdk-8u144 |
65329 | 8 |
jedit_build-20170319 |
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
|
9 |
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
|
10 |
jortho-1.0-2 |
50230 | 11 |
kodkodi-1.5.2 |
66636 | 12 |
nunchaku-0.5 |
65046
18f3d341f8c0
back to Poly/ML 5.6 until odd memory management problems are sorted out;
wenzelm
parents:
65032
diff
changeset
|
13 |
polyml-5.6-1 |
66470 | 14 |
postgresql-42.1.4 |
66415 | 15 |
scala-2.12.3 |
66636 | 16 |
smbc-0.4.1 |
64123 | 17 |
ssh-java-20161009 |
48843 | 18 |
spass-3.8ds |
66471 | 19 |
sqlite-jdbc-3.20.0 |
65872 | 20 |
xz-java-1.6 |
59959 | 21 |
z3-4.4.0pre |