Admin/components/main
changeset 71339 05400628c56b
parent 71160 625df1eb7873
child 71341 dfc52eb97ff4
equal deleted inserted replaced
71338:373dcdd363dc 71339:05400628c56b
     1 #main components for everyday use, without big impact on overall build time
     1 #main components for everyday use, without big impact on overall build time
     2 bash_process-1.2.3
     2 bash_process-1.2.3
     3 bib2xhtml-20190409
     3 bib2xhtml-20190409
     4 csdp-6.x
     4 csdp-6.1
     5 cvc4-1.5-5
     5 cvc4-1.5-5
     6 e-2.0-2
     6 e-2.0-2
     7 isabelle_fonts-20190717
     7 isabelle_fonts-20190717
     8 jdk-11.0.4+11
     8 jdk-11.0.4+11
     9 jedit_build-20190717
     9 jedit_build-20190717