support symbol \<Parallel>, based on \bigparallel from stdmaryd (stmary10.pfb: move y=1100, scale 222%, embolden by 40 units, adjust spacing);
#main components for repository clones or release bundles
gnu-utils-20210414
bash_process-1.2.4-2
bib2xhtml-20190409
csdp-6.1.1
cvc4-1.8
e-2.6
flatlaf-1.6
idea-icons-20210508
isabelle_fonts-20211004
isabelle_setup-20210922
jdk-17+35
jedit-20210802
jfreechart-1.5.3
jortho-1.0-2
kodkodi-1.5.6-1
nunchaku-0.5
opam-2.0.7
polyml-5.8.2
postgresql-42.2.24
scala-2.13.5
smbc-0.4.1
spass-3.8ds-2
sqlite-jdbc-3.36.0.3
ssh-java-20190323
stack-2.7.3
vampire-4.5.1
verit-2021.06-rmx
xz-java-1.9
z3-4.4.0pre-3
zipperposition-2.1