Admin/components/main
author nipkow
Tue, 02 Aug 2022 13:15:59 +0200
changeset 75715 a480964ea704
parent 75708 0caf8528b07b
child 75797 b42e20adaeed
permissions -rw-r--r--
show sum_list defn

#main components for repository clones or release bundles
gnu-utils-20211030
apache-commons-20211211
bash_process-1.2.4-2
bib2xhtml-20190409
csdp-6.1.1
cvc4-1.8
e-2.6-1
flatlaf-2.4
idea-icons-20210508
isabelle_fonts-20211004
isabelle_setup-20220701
jdk-17.0.2+8
jedit-20211103
jfreechart-1.5.3
jortho-1.0-2
kodkodi-1.5.7
minisat-2.2.1-1
nunchaku-0.5
opam-2.0.7
pdfjs-2.14.305
polyml-test-15c840d48c9a
postgresql-42.4.0
scala-3.1.3
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.2-rmx
vscode_extension-20220325
vscodium-1.65.2
xz-java-1.9
z3-4.4.0_4.4.1
zipperposition-2.1-1