#main components for repository clones or release bundlesgnu-utils-20210414bash_process-1.2.4-2bib2xhtml-20190409csdp-6.1.1cvc4-1.8e-2.6flatlaf-1.2idea-icons-20210508isabelle_fonts-20210322isabelle_setup-20210922jdk-17+35jedit-20210802jfreechart-1.5.1jortho-1.0-2kodkodi-1.5.6-1nunchaku-0.5opam-2.0.7polyml-5.8.2postgresql-42.2.18scala-2.13.5smbc-0.4.1spass-3.8ds-2sqlite-jdbc-3.34.0ssh-java-20190323stack-2.7.3vampire-4.5.1verit-2020.10-rmx-1xz-java-1.8z3-4.4.0pre-3zipperposition-2.1