Admin/components/main

--- a/Admin/components/main	Sat Oct 10 14:46:13 2020 +0200
+++ b/Admin/components/main	Sat Oct 10 14:59:43 2020 +0200
@@ -1,7 +1,7 @@
 #main components for everyday use, without big impact on overall build time
 bash_process-1.2.3-1
 bib2xhtml-20190409
-csdp-6.1-1
+csdp-6.1.1
 cvc4-1.5-5
 e-2.0-5
 isabelle_fonts-20190717