Admin/components/main
changeset 66686 4f73201b8043
parent 66685 1b397be63e68
child 66691 a8703e8ee1d3
equal deleted inserted replaced
66685:1b397be63e68 66686:4f73201b8043
     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.1
     2 bash_process-1.2.1
     3 csdp-6.x
     3 csdp-6.x
     4 cvc4-1.5-2
     4 cvc4-1.5-3
     5 e-2.0-1
     5 e-2.0-1
     6 isabelle_fonts-20160830
     6 isabelle_fonts-20160830
     7 jdk-8u144
     7 jdk-8u144
     8 jedit_build-20170319
     8 jedit_build-20170319
     9 jfreechart-1.0.14-1
     9 jfreechart-1.0.14-1