diff -r 6d9dd5309b85 -r dfc52eb97ff4 Admin/components/main
--- a/Admin/components/main	Mon Dec 23 19:27:37 2019 +0100
+++ b/Admin/components/main	Mon Dec 23 22:08:20 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.1
+csdp-6.1-1
 cvc4-1.5-5
 e-2.0-2
 isabelle_fonts-20190717