[ubuntu/cosmic-proposed] why3 0.88.3-3ubuntu1 (Accepted)

[Gianfranco Costamagna]

why3 (0.88.3-3ubuntu1) cosmic; urgency=medium

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

why3 (0.88.3-3) unstable; urgency=medium

  * d/control: update Vcs-* fields to salsa
  * Add build-dependendency texlive-plain-generic to fix FTBFS with
    texlive 2018.20180505-1 (closes: #899084)
  * test why3+cvc4: skip when cvc4 is not available (closes: #895104)

Date: Mon, 04 Jun 2018 16:01:06 +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/0.88.3-3ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 04 Jun 2018 16:01:06 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.88.3-3ubuntu1
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: 895104 899084
Changes:
 why3 (0.88.3-3ubuntu1) cosmic; urgency=medium
 .
   * Merge from Debian unstable.  Remaining changes:
     - Skip why3+z3 test on ppc64el/s390x, as it hangs indefinitely.
 .
 why3 (0.88.3-3) unstable; urgency=medium
 .
   * d/control: update Vcs-* fields to salsa
   * Add build-dependendency texlive-plain-generic to fix FTBFS with
     texlive 2018.20180505-1 (closes: #899084)
   * test why3+cvc4: skip when cvc4 is not available (closes: #895104)
Checksums-Sha1:
 1de01ddb20f9fbf2476ff40c6c86328bd0139102 2695 why3_0.88.3-3ubuntu1.dsc
 547303dcb3034bc6d34cd8cd97ec1a688b749a9f 13960 why3_0.88.3-3ubuntu1.debian.tar.xz
 de676ae62683e483b78ab33457e6d7cd5bdb8376 6620 why3_0.88.3-3ubuntu1_source.buildinfo
Checksums-Sha256:
 581e63ff999f47ae07e045c9c53cfa0681b6311d26132d220b886218700663ac 2695 why3_0.88.3-3ubuntu1.dsc
 1c6fd994699108dba2a268b0826ad421d1a93eb927aa866c3239b3ddfee0ac4a 13960 why3_0.88.3-3ubuntu1.debian.tar.xz
 cd3f2f2d2f10ebd3ad5a16463edd1439f6466f2b11430739ec9de8e25c602e87 6620 why3_0.88.3-3ubuntu1_source.buildinfo
Files:
 498cea87f999c6b848a8464ef129bae5 2695 math optional why3_0.88.3-3ubuntu1.dsc
 fb94c2bffad195b42216e11594e22261 13960 math optional why3_0.88.3-3ubuntu1.debian.tar.xz
 009b1fb4c249b72e829178841b5e3316 6620 math optional why3_0.88.3-3ubuntu1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIcBAEBCAAGBQJbFUY+AAoJEPNPCXROn13ZuGQQALrTs3EUWuCN4sij1ubv8osB
GK5SXQhFZAJftEDNpcqdULf1pGz1Zprann7KlsphLHI5oZeh/k5T7ULrj+Zecvdm
QpvV2sqf3M9mDdGBBzh+4eqOj090927a/H+NN9AD4zUB5szScVeLW5OgCbqqLKXZ
BGHjGhYQrlKQFN1ggb0aUMv6kTuaFGitSiIJXf9tGTw93Pcxm/hJsicv43LcvbWh
/dMwJJ/lh3+WsaDzU3kJsEXZTSuMYdPWULrkA7qU6yicahdNJ8ts2a7tJBiB/9AA
GwBivaoEZRXYlKRl5kzjbrXY7dzLxvgYYabASTjRavA9h1UIb8V2Q4kdr2FdVlLh
/XP0ucunK6st8nnSADFsoargWEJlU9VxEMRPC0AI1wI00xklykeYnUA01hZOZ41B
Enal/sbioNy1fW7pBf1xRIg9YIsGomXyxQancQQW+2VCofNvESeTgUUWiI8aqboN
WZ/LuteM0JFak8LOzaFQiuS2Q06QvKoi7lOCm/BuZV1hAnUS0kepfqK8GQt0DFBj
Kr1poq0R7++SLADAqs/1dzpOUl7/crza6BKUKS2tuTzx4s5M4NN9rY1lmIJ2KgJh
4mDJ+XTteasHaZfirkEcLWzSXAtKMxq5v1wqDGQAy4GEHjx1a4+CiA8i4xaw4ny1
vReKC3d+ohjUEWWM2VWN
=u3UF
-----END PGP SIGNATURE-----