Admin/components/main
changeset 71339 05400628c56b
parent 71160 625df1eb7873
child 71341 dfc52eb97ff4
--- a/Admin/components/main	Mon Dec 23 15:24:14 2019 +0100
+++ b/Admin/components/main	Mon Dec 23 19:07:25 2019 +0100
@@ -1,7 +1,7 @@
 #main components for everyday use, without big impact on overall build time
 bash_process-1.2.3
 bib2xhtml-20190409
-csdp-6.x
+csdp-6.1
 cvc4-1.5-5
 e-2.0-2
 isabelle_fonts-20190717