| changeset 66322 | bdf4d5408b01 |
| parent 66191 | d91108ba9474 |
| child 66362 | 9b70e98490da |
--- a/Admin/components/main Thu Aug 03 23:06:36 2017 +0200 +++ b/Admin/components/main Thu Aug 03 23:43:17 2017 +0200 @@ -1,7 +1,7 @@ #main components for everyday use, without big impact on overall build time bash_process-1.2.1 csdp-6.x -cvc4-1.5pre-4 +cvc4-1.5 e-1.8 isabelle_fonts-20160830 jdk-8u131