# HG changeset patch # User blanchet # Date 1501796597 -7200 # Node ID bdf4d5408b01f04d15c7b64609719e5cd9ac8d34 # Parent ea6cbb69dda2c54082611d19547c3aeb0be16845 updated CVC4 component to official 1.5 release diff -r ea6cbb69dda2 -r bdf4d5408b01 Admin/components/components.sha1 --- a/Admin/components/components.sha1 Thu Aug 03 23:06:36 2017 +0200 +++ b/Admin/components/components.sha1 Thu Aug 03 23:43:17 2017 +0200 @@ -5,6 +5,7 @@ e7ffe4238b61a3c1ee87aca4421e7a612e09b836 ci-extras-1.tar.gz 70105fd6fbfd1a868383fc510772b95234325d31 csdp-6.x.tar.gz 2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7 cvc3-2.4.1.tar.gz +3682476dc5e915cf260764fa5b86f1ebdab57507 cvc4-1.5.tar.gz a5e02b5e990da4275dc5d4480c3b72fc73160c28 cvc4-1.5pre-1.tar.gz 4d9658fd2688ae8ac78da8fdfcbf85960f871b71 cvc4-1.5pre-2.tar.gz b01fdb93f2dc2b8bcfd41c6091d91b37d6e240f9 cvc4-1.5pre-3.tar.gz diff -r ea6cbb69dda2 -r bdf4d5408b01 Admin/components/main --- 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