Admin/components/main
author stuebinm <stuebinm@disroot.org>
Mon, 20 Mar 2023 22:38:40 +0100
changeset 78369 c2d25872c3de
parent 78277 6d0985955872
permissions -rw-r--r--
thingol: add instances' target types to typeclass dictionary construction

#main components for repository clones or release bundles
gnu-utils-20211030
bash_process-1.3
bib2xhtml-20190409
csdp-6.1.1
cvc4-1.8
e-2.6-1
easychair-3.5
eptcs-1.7.0
flatlaf-2.4
foiltex-2.1.4b
idea-icons-20210508
isabelle_fonts-20211004
isabelle_setup-20230206
jdk-17.0.6
jedit-20211103
jfreechart-1.5.3
jortho-1.0-2
jsoup-1.15.4
kodkodi-1.5.7
lipics-3.1.2
llncs-2.22
minisat-2.2.1-1
mlton-20210117-1
nunchaku-0.5
opam-2.0.7
pdfjs-2.14.305
polyml-5e9c8155ea96
postgresql-42.5.0
prismjs-1.29.0
scala-3.2.0-2
smbc-0.4.1
spass-3.8ds-2
sqlite-jdbc-3.41.0.0
stack-2.7.3
vampire-4.6
verit-2021.06.2-rmx
vscode_extension-20230206
vscodium-1.70.1
xz-java-1.9
z3-4.4.0_4.4.1
zipperposition-2.1-1
zstd-jni-1.5.2-5