Admin/components/main
author wenzelm
Thu, 04 Nov 2021 15:54:01 +0100
changeset 75076 23a97a547a9e
parent 75051 a755733c1eb5
child 75109 38e5417910ab
permissions -rw-r--r--
updated to verit-2021.06.1-rmx, to address "Abnormal termination with exit code 14";
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
73903
a037f01aedab tuned comments;
wenzelm
parents: 73899
diff changeset
     1
#main components for repository clones or release bundles
75030
fde3a4a4f757 provide native executables for arm64-darwin, for more robust startup without Rosetta 2;
wenzelm
parents: 75024
diff changeset
     2
gnu-utils-20211030
73891
3531d20cf2fd removed junk;
wenzelm
parents: 73856
diff changeset
     3
bash_process-1.2.4-2
70273
23c0dfa39dce updated to bib2xhtml-20190409: current repository clone;
wenzelm
parents: 70270
diff changeset
     4
bib2xhtml-20190409
72652
72667f4994a6 updated to csdp-6.1.1, with support for arm64-linux;
wenzelm
parents: 72646
diff changeset
     5
csdp-6.1.1
72920
dcc0022f0179 updated to cvc4-1.8;
wenzelm
parents: 72896
diff changeset
     6
cvc4-1.8
74839
d688b40695b4 include arm64-linux;
wenzelm
parents: 74819
diff changeset
     7
e-2.6-1
74792
b6a561f9c828 updated to flatlaf-1.6;
wenzelm
parents: 74783
diff changeset
     8
flatlaf-1.6
73908
d5c3eee7da74 separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
wenzelm
parents: 73903
diff changeset
     9
idea-icons-20210508
74819
ec1774613824 support symbol \<Parallel>, based on \bigparallel from stdmaryd (stmary10.pfb: move y=1100, scale 222%, embolden by 40 units, adjust spacing);
wenzelm
parents: 74796
diff changeset
    10
isabelle_fonts-20211004
74710
f77474665b2f tuned message;
wenzelm
parents: 74709
diff changeset
    11
isabelle_setup-20210922
75036
b04a820c345e updated to jdk-17.0.1+12;
wenzelm
parents: 75030
diff changeset
    12
jdk-17.0.1+12
75051
a755733c1eb5 suppress sources from jEdit/test, which prevent regular build of the generated scala_project;
wenzelm
parents: 75047
diff changeset
    13
jedit-20211103
74793
54a064957ff3 updated to jfreechart-1.5.3;
wenzelm
parents: 74792
diff changeset
    14
jfreechart-1.5.3
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
    15
jortho-1.0-2
74869
74a36aae067a updated to kodkodi-1.5.7. with more robust/portable management of files and processes;
wenzelm
parents: 74868
diff changeset
    16
kodkodi-1.5.7
74868
2d089ff0e03b provide minisat-2.2.1 on all currently supported platforms, notably as external solver for Nitpick;
wenzelm
parents: 74854
diff changeset
    17
minisat-2.2.1
66638
6585669c33dc added/updated components
blanchet
parents: 66496
diff changeset
    18
nunchaku-0.5
72591
91f38e34aa3f updated to opam-2.0.7;
wenzelm
parents: 72587
diff changeset
    19
opam-2.0.7
75024
455549306166 test version of prespective polyml-5.9;
wenzelm
parents: 74937
diff changeset
    20
polyml-5.9-960de0cd0795
74794
4e58bc7215a0 updated to postgresql-42.2.24;
wenzelm
parents: 74793
diff changeset
    21
postgresql-42.2.24
75047
9fcf80ceb863 updated to scala-2.13.7 --- problems with jline disappear after purging $HOME/.inputrc;
wenzelm
parents: 75036
diff changeset
    22
scala-2.13.7
66638
6585669c33dc added/updated components
blanchet
parents: 66496
diff changeset
    23
smbc-0.4.1
72646
c2b44fb3add4 rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
wenzelm
parents: 72640
diff changeset
    24
spass-3.8ds-2
74795
192a452fac52 updated to sqlite-jdbc-3.36.0.3;
wenzelm
parents: 74794
diff changeset
    25
sqlite-jdbc-3.36.0.3
70143
708743578e45 updated to ssh-java-20190323 (with jsch-0.1.55.jar);
wenzelm
parents: 70136
diff changeset
    26
ssh-java-20190323
74328
d871882ad651 update to Haskell stack-2.7.3 and stackage lts-17.15;
wenzelm
parents: 74325
diff changeset
    27
stack-2.7.3
74853
d4c2a9191cd1 updated to Vampire 4.6, as proposed by Martin Desharnais;
wenzelm
parents: 74845
diff changeset
    28
vampire-4.6
75076
23a97a547a9e updated to verit-2021.06.1-rmx, to address "Abnormal termination with exit code 14";
wenzelm
parents: 75051
diff changeset
    29
verit-2021.06.1-rmx
74796
9f34c780906e updated to xz-java-1.9;
wenzelm
parents: 74795
diff changeset
    30
xz-java-1.9
70478
c7e9d3a0a681 more direct invocation of Windows exe: avoid extra bash, cygpath, exec;
wenzelm
parents: 70476
diff changeset
    31
z3-4.4.0pre-3
74843
91ede652d828 include arm64-linux;
wenzelm
parents: 74839
diff changeset
    32
zipperposition-2.1-1