[ubuntu/yakkety-proposed] why3 0.87.1-1build1 (Accepted)

[Steve Langasek]

why3 (0.87.1-1build1) yakkety; urgency=medium

  * No-change rebuild against libcoq-ocaml-cib06

Date: Sun, 10 Jul 2016 07:50:28 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why3/0.87.1-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 10 Jul 2016 07:50:28 +0000
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.1-1build1
Distribution: yakkety
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
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
Changes:
 why3 (0.87.1-1build1) yakkety; urgency=medium
 .
   * No-change rebuild against libcoq-ocaml-cib06
Checksums-Sha1:
 a465c9c6db51d4b349f06d4e91c18e44e81f190b 2685 why3_0.87.1-1build1.dsc
 8b2365f22e0e809b0cc64b3549b89ab167f0f009 12048 why3_0.87.1-1build1.debian.tar.xz
Checksums-Sha256:
 5f608d1aec0dd7e60c134ba4118aa4e8e39c4f2170ad6de4f54067fdbb45e94f 2685 why3_0.87.1-1build1.dsc
 838bcdc0a87358ef2077b5dc62b1380385e8077696ffa6aa77ab3c242675c277 12048 why3_0.87.1-1build1.debian.tar.xz
Files:
 20e707b39cb2095a771ab7f80290905f 2685 math optional why3_0.87.1-1build1.dsc
 cdafbf3c8835085c42ca9c26c2c360d2 12048 math optional why3_0.87.1-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJXgf5RAAoJEFaNMPMhshM9L+wQAJk4VVXaOugr/IqWflyuWnOx
LqcnkSfWWu48WKokbQAHrS+YWfgiDnceBs0DmQ/jEt9otWJ0bq8afPCj4MdFIaWa
DkdM/bdVKoqiF3pK5O3WIvsJSc/t1pci6nhcoWj6t7V86N2vW+uvk2RSAe+DGHlk
CNhF+PSf68aOgsCTOcvloY2kn/+xxvGh9c2HQOV6NX8HhMXyeiGgRCaKuzN6YHz0
Gi4uFAYoYIAeRXOtB5FUVA3uJ3e6WllXsfahmT9rbJIOuJIlmtO+0YhoLd3Wo7/q
hITQbbOv6zhJmZfBWqZjGSAXCiUv2c1QIWVRhaxuD7WkKBqRx1mjsfdx0NTTtA0A
meUTCDw79echVFWlHZqPSWHREzuDzD36Ib2E2OCSA8Ap8sdtgyR9/XUjndmVVcBb
UOiTp3ZjOfh3VEUhiO5nbRYzoohhDtt7sPyZg3ftkBZ8R/F208xoRwXwN7Lz2Mz8
ui4tKTGlb/Uhg0RoxOnTYtha7kCGjsUjk3nfc+1Lt+giJPH52QJ+f1vGVuoYxzIN
8En0Ol0JU/PgMgtyZPvYocp1WBNo/ansQlBxqbk5tUTYl/zuccFfEbsBAqpG9Iue
2+kEATVXz7BXpGR9/Qgiga4Sr8FxbnbE/Z2+o6AH3CaPh7mEdZScClMS8Gc7luvX
9PYlJmu+AQGlirOYFb/Q
=D6f9
-----END PGP SIGNATURE-----