author | wenzelm |
Sun, 22 Mar 2020 22:03:48 +0100 | |
changeset 71584 | 73d1dc57215f |
parent 71516 | a57413dd2909 |
child 71590 | d1c2ff90c29a |
permissions | -rw-r--r-- |
48847 | 1 |
#main components for everyday use, without big impact on overall build time |
70291
9f3441164e92
updated to bash_process-1.2.3: rebuild on current reference PLATFORMS;
wenzelm
parents:
70247
diff
changeset
|
2 |
bash_process-1.2.3 |
70085
23c0dfa39dce
updated to bib2xhtml-20190409: current repository clone;
wenzelm
parents:
70084
diff
changeset
|
3 |
bib2xhtml-20190409 |
71341
dfc52eb97ff4
repackage as csdp-6.1-1, with proper platform names;
wenzelm
parents:
71339
diff
changeset
|
4 |
csdp-6.1-1 |
70293
c7e9d3a0a681
more direct invocation of Windows exe: avoid extra bash, cygpath, exec;
wenzelm
parents:
70291
diff
changeset
|
5 |
cvc4-1.5-5 |
71516 | 6 |
e-2.0-3 |
70374 | 7 |
isabelle_fonts-20190717 |
71584
73d1dc57215f
avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph spacing changed from jdk-8 to jdk-11" https://bugs.openjdk.java.net/browse/JDK-8217731 even though the changelog claims to have resolved this;
wenzelm
parents:
71516
diff
changeset
|
8 |
jdk-11.0.5+10 |
70375
2e8af171887f
updated to jedit_build-20190717: support more brackets;
wenzelm
parents:
70374
diff
changeset
|
9 |
jedit_build-20190717 |
68007
9e8214deed3e
updated to jfreechart-1.5.0, but retain bundled iText-2.1.5.jar from jfreechart-1.0.14 to avoid iText-5/7 license complexity;
wenzelm
parents:
67995
diff
changeset
|
10 |
jfreechart-1.5.0 |
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 |
68678
daf21cb6ebc1
updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables);
wenzelm
parents:
68675
diff
changeset
|
12 |
kodkodi-1.5.2-1 |
66636 | 13 |
nunchaku-0.5 |
71386 | 14 |
opam-2.0.6 |
71492
a296d3697e50
updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1);
wenzelm
parents:
71387
diff
changeset
|
15 |
polyml-5.8.1-20200228 |
71369 | 16 |
postgresql-42.2.9 |
70885 | 17 |
scala-2.12.10 |
66636 | 18 |
smbc-0.4.1 |
68207
1463c4996fb2
updated some Sledgehammer components, following Makarius advice
blanchet
parents:
68081
diff
changeset
|
19 |
spass-3.8ds-1 |
71370 | 20 |
sqlite-jdbc-3.30.1 |
69961
708743578e45
updated to ssh-java-20190323 (with jsch-0.1.55.jar);
wenzelm
parents:
69954
diff
changeset
|
21 |
ssh-java-20190323 |
71387
b3b992f6ad8f
updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;
wenzelm
parents:
71386
diff
changeset
|
22 |
stack-2.1.3 |
68564 | 23 |
vampire-4.2.2 |
67995 | 24 |
xz-java-1.8 |
70293
c7e9d3a0a681
more direct invocation of Windows exe: avoid extra bash, cygpath, exec;
wenzelm
parents:
70291
diff
changeset
|
25 |
z3-4.4.0pre-3 |