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

[Gianfranco Costamagna]

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

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

why3 (1.0.0-2) unstable; urgency=medium

  * as-installed test why3+cvc4:
    - dropped erroneous version constraint on cvc4.
    - invoke prover simply as CVC4
    - marked test as skip-not-installable, instead of flaky, as cvc4 does not
      build on all architectures (architecture restriction set in src:cvc4),
      and since cvc4 is only an alternative dependency of why3.
  * as-installed test why3+cvc3:
    - marked test as skip-not-installable, instead of flaky, since cvc3
      recently has FTBFS, and since cvc3 is only an alternative dependency
      of why3.
  * as-installed-test why3+spass:
    - marked test as skip-not-installable since spass recently has FTBFS
      issues and was dropped from testing, and since spass is only an
      alternative dependency of why3.

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, 16 Aug 2018 20:17:41 +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-2ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 16 Aug 2018 20:17:41 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.0.0-2ubuntu1
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-2ubuntu1) cosmic; urgency=low
 .
   * Merge from Debian unstable.  Remaining changes:
     - Skip why3+z3 test on ppc64el/s390x, as it hangs indefinitely.
 .
 why3 (1.0.0-2) unstable; urgency=medium
 .
   * as-installed test why3+cvc4:
     - dropped erroneous version constraint on cvc4.
     - invoke prover simply as CVC4
     - marked test as skip-not-installable, instead of flaky, as cvc4 does not
       build on all architectures (architecture restriction set in src:cvc4),
       and since cvc4 is only an alternative dependency of why3.
   * as-installed test why3+cvc3:
     - marked test as skip-not-installable, instead of flaky, since cvc3
       recently has FTBFS, and since cvc3 is only an alternative dependency
       of why3.
   * as-installed-test why3+spass:
     - marked test as skip-not-installable since spass recently has FTBFS
       issues and was dropped from testing, and since spass is only an
       alternative dependency of why3.
 .
 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:
 e1aedf6521e05c7d8680153c0f1c7ec8d4c14b58 2720 why3_1.0.0-2ubuntu1.dsc
 795256c2e5560b5f57953d5df7cc56898f1ddd64 5209657 why3_1.0.0.orig.tar.gz
 9599c325d07da2973fa4156d89ac5af242fc0d16 14096 why3_1.0.0-2ubuntu1.debian.tar.xz
 4a80e7dc4a01e467ae584914beb4115c4be4f277 9328 why3_1.0.0-2ubuntu1_source.buildinfo
Checksums-Sha256:
 cbba8f8f37b5604140e1c2f99206354c1e06a71b8a093f0776eb859f840c02b9 2720 why3_1.0.0-2ubuntu1.dsc
 b65f4c1661ac8a6240778e6fa553c46098a26d029b02e5cf0e05b0c0630300a2 5209657 why3_1.0.0.orig.tar.gz
 3bdee781a8bdc7550a4c553a1567cfaab07e3c539d30c2b97f0d3bbd4bf6a9ab 14096 why3_1.0.0-2ubuntu1.debian.tar.xz
 86b091fcb3161d0f493d74990b9d5cdd0dc2d4aca5f5efcc9c03aa5ff96a358c 9328 why3_1.0.0-2ubuntu1_source.buildinfo
Files:
 d200ebd5663f76278ffb02f74f9c3c0a 2720 math optional why3_1.0.0-2ubuntu1.dsc
 3477ce6b826bbba1562117239f0e9f81 5209657 math optional why3_1.0.0.orig.tar.gz
 5a462e74e5957cbf561e3a8e7dfd5f4e 14096 math optional why3_1.0.0-2ubuntu1.debian.tar.xz
 2e4fdab3ae2a412fb81158da0940b1ed 9328 math optional why3_1.0.0-2ubuntu1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAlt1v9MACgkQ808JdE6f
XdlKFhAAnLV6kdAinUmOcvlLKyHz6njW3Dk0Rg7uYSfRuO/a/CbCMPUTIEA8Hx+u
V28A9Eb7NENV6ju+oq7hMaStNP+q1ZoXsNeF3TVVsCnjMiuKaENj3DGaOl0QIwPt
eeqarhP/n6uufNvx2axVIwb1meqcZBOfqD8+fT+75kBn4uTHshCQZbAs4/k+agwD
m+HZOQ0yukL+gVyHoPUmmk7FcCbOBZQ01KvcaVAEKV/nWaPBYxs933uJmBxwPHiB
8CwQSSCdZjm+QcSTdMQlve/rPQOlfZ0NOIZ5lNuGhFavKjsZBgbgqeP9BmnTKnfH
2xZszJ5HUsoy4AUcmacGivfJy5SWHPzVpJFMGQHZmdrNMEnyEALRXyPZ8NkRWSPZ
ZF38IxKqahKHxP5P6Pfa2adHVxNOFHcr9iHLL8ZKXUnSE4dK7wsf4wnzWaU3GRK2
kc9bqyrRtZI2wrMT82zemuJv0Cp2X5H/lMT2psSDc9UB1dpY4uEY0Okt0qsYqQDq
dXj5WuoCOH74akX0/Aj3llEb8xHDlePISHEc9CYA0gteUrMzkPDDlRWDqeMl+B/y
bOx+AkJN0gdgiLtoGxNvI8nndymOstyQrfApxUwUH0dbnULutNqTVO/fGbhLqHPi
fUSuIQtfGDcI35f5BH/DyjXjPu0E+9z2z43aI7EgmeAnr4yVdGg=
=ZxQ5
-----END PGP SIGNATURE-----