changeset 71341 | dfc52eb97ff4 |
parent 71339 | 05400628c56b |
child 71369 | 897ff7e68a10 |
--- 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