[ubuntu/cosmic-proposed] why3 1.0.0-1ubuntu1 (Accepted)

[Gianfranco Costamagna]

why3 (1.0.0-1ubuntu1) cosmic; urgency=low

  * Merge from Debian unstable.  Remaining changes:
    - Skip why3+z3 test on ppc64el/s390x, as it hangs indefinitely.

why3 (1.0.0-1) unstable; urgency=medium

  * New upstream version
    - drop patch getopt_long-return-value which has been applied upstream
  * Upstream does no longer build coq-tactic:
    - drop these from why3-coq.install
    - drop mention of these from the long description of why3-coq
  * libwhy3-ocaml-dep: add dependency ${shlibs:Depends}
  * As-installed-tests:
    - adapt the why3 files in d/tests/why to the new syntax of WhyML
    - mark tests with cvc3 and cvc4 as flaky  (closes: #902308)
    - test why3+cvc4: specify 'CVC4 1.5' in the invocation of why3,
      constrain the dependency of the test on cvc4 accordingly.
  * NEWS.Debian: new syntax of WhyML, new location of standard lib

Date: Thu, 28 Jun 2018 18:14:05 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why3/1.0.0-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 28 Jun 2018 18:14:05 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.0.0-1ubuntu1
Distribution: cosmic
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 libwhy3-ocaml-dev - OCaml librariries for why3 (dev)
 why3       - Software verification platform
 why3-coq   - Coq support for the why3 verification platform
 why3-doc-html - HTML Documentation of the why3 verification platform
 why3-doc-pdf - PDF Documentation of the why3 verification platform
 why3-examples - Examples for the why3 verification platform
Closes: 902308
Changes:
 why3 (1.0.0-1ubuntu1) cosmic; urgency=low
 .
   * Merge from Debian unstable.  Remaining changes:
     - Skip why3+z3 test on ppc64el/s390x, as it hangs indefinitely.
 .
 why3 (1.0.0-1) unstable; urgency=medium
 .
   * New upstream version
     - drop patch getopt_long-return-value which has been applied upstream
   * Upstream does no longer build coq-tactic:
     - drop these from why3-coq.install
     - drop mention of these from the long description of why3-coq
   * libwhy3-ocaml-dep: add dependency ${shlibs:Depends}
   * As-installed-tests:
     - adapt the why3 files in d/tests/why to the new syntax of WhyML
     - mark tests with cvc3 and cvc4 as flaky  (closes: #902308)
     - test why3+cvc4: specify 'CVC4 1.5' in the invocation of why3,
       constrain the dependency of the test on cvc4 accordingly.
   * NEWS.Debian: new syntax of WhyML, new location of standard lib
Checksums-Sha1:
 f73398aed6e7a45fac0c5db6b75cef7b567b68a4 2720 why3_1.0.0-1ubuntu1.dsc
 795256c2e5560b5f57953d5df7cc56898f1ddd64 5209657 why3_1.0.0.orig.tar.gz
 83264b23d5f7deb5b50c5673d35e9824b424afbd 13916 why3_1.0.0-1ubuntu1.debian.tar.xz
 8fadcb9fa82cc37e44cd8e5e679b5ab8f52c6891 6436 why3_1.0.0-1ubuntu1_source.buildinfo
Checksums-Sha256:
 0c5465d66d6599897f451c7ac640751fb3abdee363b1a56bd4ccd568527f3895 2720 why3_1.0.0-1ubuntu1.dsc
 b65f4c1661ac8a6240778e6fa553c46098a26d029b02e5cf0e05b0c0630300a2 5209657 why3_1.0.0.orig.tar.gz
 523f4d616cde0676594a05cc8a24eea65905732855b813a920e6798fbabd75de 13916 why3_1.0.0-1ubuntu1.debian.tar.xz
 d5a846f15fb7447417656768e1ad221e916e468a2a5b84ad478d9e774e6c0e3b 6436 why3_1.0.0-1ubuntu1_source.buildinfo
Files:
 52971ac275a2675a65a06b226dbcd911 2720 math optional why3_1.0.0-1ubuntu1.dsc
 3477ce6b826bbba1562117239f0e9f81 5209657 math optional why3_1.0.0.orig.tar.gz
 0ea42dd0638441a0c2be261d15b1fd43 13916 math optional why3_1.0.0-1ubuntu1.debian.tar.xz
 6a470a34a53a89d39e41f8535ecfe2f4 6436 math optional why3_1.0.0-1ubuntu1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAls1CZwACgkQ808JdE6f
XdmWQhAAzEYxb8+oyijF8Y4fgkizxPZUqywI75LeeYTzFmc23ugl7g8c7fTmMItV
dHEuAEgJ6y8f9N39wxfIJlOgzMJC+dvu9wegVUJPbHSsdbe9oyR6/sMHsKb6JXmK
LSaFHrfooXQi/uO4MioeX1pFSHJPtpVVVyua4FGoHbTvq0jN/ef3Xt2w9xyCAdhy
qy8048Ys1O/oA3M5Y2kTcgZVHJUf5mRjwg3a306b58/0/d/jpp4QiXlQy/9uRvLa
doOEJwsfHQMSk7Ujahs1vPZS/ytexy+gPt7wyxWVxyoD5MjdQXxLYQEn/08fSunF
pRgy63Mc+6mU0v9n2tr/MdtRfdWAauGeGDTe8dY+EuY8Pb9VbBD4VKGZkZrIWLAm
maXdWpSCGxxdnZZuL1uHxa+cfuYZQv/4oIPvB2BagT/LBGu6pDZmjxjoDZZD+9fI
2rxkdqzgdmUTxkK0nbMWWsV2ZxgnZj9rteoVy6QiTjwWIUa8TibjX6ifP91OSbGx
ocPZ+um1xfgTjV/aSfT76SKYQEJ6wS0sZz2k3/gMZgwkhdBHSoXMtw8vcNI8gb5s
xcGGHIdFzYkywAGWoxlTGb3yjonZdw4iZ+DB9qEBaQbMrsMk01ouV0iMB/r2OOXI
vmuZd+naWn1ReBRInI25OrhvFQ6GMNOcxGSD72P9CXNI1Et5sgU=
=gTyo
-----END PGP SIGNATURE-----