#main components for repository clones or release bundles
gnu-utils-20211030
bash_process-20240326
bib2xhtml-20190409
csdp-6.1.1-1
cvc5-1.2.0-1
e-3.2
elm-0.19.1
easychair-3.5
eptcs-1.7.0
find_facts_web-20251022
flatlaf-3.6.2
foiltex-2.1.4b
isabelle_fonts-20241227
isabelle_setup-20250613
javamail-20251022
jdk-21.0.9
jedit-20251128
jfreechart-1.5.3
jortho-1.0-2
jsoup-1.21.2
jsvg-2.0.0
kodkodi-1.5.7
lipics-3.1.3-1
llncs-2.25
minisat-2.2.1-2
mlton-20241230-1
nunchaku-0.5
opam-2.0.7
pdfjs-5.4.394
polyml-5.9.2-2
postgresql-42.7.8
prismjs-1.30.0
rsync-3.2.7-1
scala-3.3.4
smbc-0.4.1
solr-9.9.0
spass-3.8ds-2
sqlite-3.51.0.0
stack-2.15.7
vampire-4.8
verit-2021.06.2-rmx-3
vscode_extension-20251205
vscodium-1.105.17075
xz-java-1.10
z3-4.4.0pre-4
zipperposition-2.1-1
zstd-jni-1.5.7-6
