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";

#main components for repository clones or release bundles
gnu-utils-20211030
bash_process-1.2.4-2
bib2xhtml-20190409
csdp-6.1.1
cvc4-1.8
e-2.6-1
flatlaf-1.6
idea-icons-20210508
isabelle_fonts-20211004
isabelle_setup-20210922
jdk-17.0.1+12
jedit-20211103
jfreechart-1.5.3
jortho-1.0-2
kodkodi-1.5.7
minisat-2.2.1
nunchaku-0.5
opam-2.0.7
polyml-5.9-960de0cd0795
postgresql-42.2.24
scala-2.13.7
smbc-0.4.1
spass-3.8ds-2
sqlite-jdbc-3.36.0.3
ssh-java-20190323
stack-2.7.3
vampire-4.6
verit-2021.06.1-rmx
xz-java-1.9
z3-4.4.0pre-3
zipperposition-2.1-1