Admin/components/main
author Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de>
Fri, 16 Oct 2020 19:34:37 +0200
changeset 72486 e4d707eb7d1b
parent 72480 b772a93d44aa
child 72509 99da14fa28b8
permissions -rw-r--r--
reactivate veriT after changing options in 11f645d25498
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
48847
06e8cb8f3f61 some explanations on component categories;
wenzelm
parents: 48843
diff changeset
     1
#main components for everyday use, without big impact on overall build time
72345
14be5c341377 support arm64-linux;
wenzelm
parents: 72247
diff changeset
     2
bash_process-1.2.3-1
70085
23c0dfa39dce updated to bib2xhtml-20190409: current repository clone;
wenzelm
parents: 70084
diff changeset
     3
bib2xhtml-20190409
72419
72667f4994a6 updated to csdp-6.1.1, with support for arm64-linux;
wenzelm
parents: 72413
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
72456
cd3419427cd3 activate E 2.5 for production use (see also 5d1a7b688f6d);
wenzelm
parents: 72419
diff changeset
     6
e-2.5-1
70374
2b4c40722f0b updated to isabelle_fonts-20190717;
wenzelm
parents: 70293
diff changeset
     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
72247
c06260b7152c update to official jedit-5.6.0;
wenzelm
parents: 72210
diff changeset
     9
jedit_build-20200908
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
72206
8ee5743a8b36 updated to kodkodi-1.5.6: more robust treatment of interrupt;
wenzelm
parents: 72202
diff changeset
    12
kodkodi-1.5.6
66636
6585669c33dc added/updated components
blanchet
parents: 66493
diff changeset
    13
nunchaku-0.5
72358
91f38e34aa3f updated to opam-2.0.7;
wenzelm
parents: 72354
diff changeset
    14
opam-2.0.7
72473
70032f83b9be updated to polyml-test-d68c6736402e --- follow current ongoing development;
wenzelm
parents: 72456
diff changeset
    15
polyml-test-d68c6736402e
71369
897ff7e68a10 updated to postgresql-42.2.9;
wenzelm
parents: 71341
diff changeset
    16
postgresql-42.2.9
72210
b7d6b9e71f88 updated to scala-2.12.12;
wenzelm
parents: 72209
diff changeset
    17
scala-2.12.12
66636
6585669c33dc added/updated components
blanchet
parents: 66493
diff changeset
    18
smbc-0.4.1
72413
c2b44fb3add4 rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
wenzelm
parents: 72407
diff changeset
    19
spass-3.8ds-2
72347
e18e15b9e2ab updated to sqlite-jdbc-3.32.3.2;
wenzelm
parents: 72345
diff changeset
    20
sqlite-jdbc-3.32.3.2
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
3ee6947bfb34 added Vampire component
blanchet
parents: 68473
diff changeset
    23
vampire-4.2.2
67995
927c6f4405db updated to xz-java-1.8;
wenzelm
parents: 67992
diff changeset
    24
xz-java-1.8
72486
e4d707eb7d1b reactivate veriT after changing options in 11f645d25498
Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de>
parents: 72480
diff changeset
    25
verit-2020.10-rmx-1
70293
c7e9d3a0a681 more direct invocation of Windows exe: avoid extra bash, cygpath, exec;
wenzelm
parents: 70291
diff changeset
    26
z3-4.4.0pre-3