updated some Sledgehammer components, following Makarius advice
authorblanchet
Thu May 17 19:16:41 2018 +0200 (5 months ago)
changeset 682071463c4996fb2
parent 68206 dedf1a70d1fa
child 68208 d9f2cf4fc002
updated some Sledgehammer components, following Makarius advice
Admin/components/components.sha1
Admin/components/main
     1.1 --- a/Admin/components/components.sha1	Thu May 17 17:29:17 2018 +0200
     1.2 +++ b/Admin/components/components.sha1	Thu May 17 19:16:41 2018 +0200
     1.3 @@ -10,6 +10,7 @@
     1.4  d70bfbe63590153c07709dea7084fbc39c669841  cvc4-1.5-1.tar.gz
     1.5  541eac340464c5d34b70bb163ae277cc8829c40f  cvc4-1.5-2.tar.gz
     1.6  1a44895d2a440091a15cc92d7f77a06a2e432507  cvc4-1.5-3.tar.gz
     1.7 +c0d8d5929b00e113752d8bf5d11241cd3bccafce  cvc4-1.5-4.tar.gz
     1.8  a5e02b5e990da4275dc5d4480c3b72fc73160c28  cvc4-1.5pre-1.tar.gz
     1.9  4d9658fd2688ae8ac78da8fdfcbf85960f871b71  cvc4-1.5pre-2.tar.gz
    1.10  b01fdb93f2dc2b8bcfd41c6091d91b37d6e240f9  cvc4-1.5pre-3.tar.gz
    1.11 @@ -42,6 +43,7 @@
    1.12  b98a98025d1f7e560ca6864a53296137dae736b4  e-1.6.tar.gz
    1.13  c11b25c919e2ec44fe2b6ac2086337b456344e97  e-1.8.tar.gz
    1.14  a895a96ec7e6fcc275114bb9b4c92b20fac73dba  e-2.0-1.tar.gz
    1.15 +2ebd7e3067a2cdae3cb8b073345827013978d74b  e-2.0-2.tar.gz
    1.16  6b962a6b4539b7ca4199977973c61a8c98a492e8  e-2.0.tar.gz
    1.17  6d34b18ca0aa1e10bab6413045d079188c0e2dfb  exec_process-1.0.1.tar.gz
    1.18  8b9bffd10e396d965e815418295f2ee2849bea75  exec_process-1.0.2.tar.gz
    1.19 @@ -206,6 +208,7 @@
    1.20  b447017e81600cc5e30dd61b5d4962f6da01aa80  scala-2.8.1.final.tar.gz
    1.21  5659440f6b86db29f0c9c0de7249b7e24a647126  scala-2.9.2.tar.gz
    1.22  abe7a3b50da529d557a478e9f631a22429418a67  smbc-0.4.1.tar.gz
    1.23 +cbd491c0feba1d21019d05564e76dd04f592ccb4  spass-3.8ds-1.tar.gz
    1.24  43b5afbcad575ab6817d2289756ca22fd2ef43a9  spass-3.8ds.tar.gz
    1.25  b016a785f1f78855c00d351ff598355c3b87450f  sqlite-jdbc-3.18.0-1.tar.gz
    1.26  b85b5bc071a59ef2a8326ceb1617d5a9a5be41cf  sqlite-jdbc-3.18.0.tar.gz
    1.27 @@ -243,4 +246,5 @@
    1.28  a8917c31b31c182edeec0aaa48870844960c8a61  z3-4.3.2pre-1.tar.gz
    1.29  06b30757ff23aefbc30479785c212685ffd39f4d  z3-4.3.2pre.tar.gz
    1.30  93e7e4bddc6afcf87fe2b6656cfcb1b1acd0a4f8  z3-4.4.0pre-1.tar.gz
    1.31 +b1bc411c2083fc01577070b56b94514676f53854  z3-4.4.0pre-2.tar.gz
    1.32  517ba7b94c1985416c5b411c8ae84456367eb231  z3-4.4.0pre.tar.gz
     2.1 --- a/Admin/components/main	Thu May 17 17:29:17 2018 +0200
     2.2 +++ b/Admin/components/main	Thu May 17 19:16:41 2018 +0200
     2.3 @@ -2,8 +2,8 @@
     2.4  bash_process-1.2.2
     2.5  bib2xhtml-20171221
     2.6  csdp-6.x
     2.7 -cvc4-1.5-3
     2.8 -e-2.0-1
     2.9 +cvc4-1.5-4
    2.10 +e-2.0-2
    2.11  isabelle_fonts-20180113
    2.12  jdk-8u172
    2.13  jedit_build-20180504
    2.14 @@ -16,8 +16,8 @@
    2.15  scala-2.12.5
    2.16  smbc-0.4.1
    2.17  ssh-java-20161009
    2.18 -spass-3.8ds
    2.19 +spass-3.8ds-1
    2.20  sqlite-jdbc-3.20.0
    2.21  verit-2016post
    2.22  xz-java-1.8
    2.23 -z3-4.4.0pre-1
    2.24 +z3-4.4.0pre-2