[ubuntu/artful-proposed] why3 0.87.3-2build1 (Accepted)

[Steve Langasek]

why3 (0.87.3-2build1) artful; urgency=medium

  * No-change rebuild against libmenhir-ocaml-dev-gvxl7

Date: Sun, 25 Jun 2017 08:11:24 +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.3-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 25 Jun 2017 08:11:24 +0000
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.3-2build1
Distribution: artful
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.3-2build1) artful; urgency=medium
 .
   * No-change rebuild against libmenhir-ocaml-dev-gvxl7
Checksums-Sha1:
 9460c2433671615370d2dcb08770c7bdafb24c06 2720 why3_0.87.3-2build1.dsc
 3c82c900c256d71a3e2b498b8986d14088bab714 12516 why3_0.87.3-2build1.debian.tar.xz
 6d0c30c5c6fc8bae6b5ce91d6d2f4406546aca62 5784 why3_0.87.3-2build1_source.buildinfo
Checksums-Sha256:
 3361fcd10680f665c9e6a1060b1ea1285125c7840112fc79041f23e4fb7e951e 2720 why3_0.87.3-2build1.dsc
 d6abb1921a4c6920fecda1196f481df8e1b1e39848d1345f4acd0b35319b9bea 12516 why3_0.87.3-2build1.debian.tar.xz
 ddf016aa8391bb86edc58224a1695a723eb1027860770be510dc5837111cd37c 5784 why3_0.87.3-2build1_source.buildinfo
Files:
 128fc29f1e88920fe9543cc436e765e4 2720 math optional why3_0.87.3-2build1.dsc
 ab6f0a51c09be0b073d447450af73c58 12516 math optional why3_0.87.3-2build1.debian.tar.xz
 ed60136407912c5f707a88132d8e1d34 5784 math optional why3_0.87.3-2build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQI3BAEBCgAhBQJZT3A4GhxzdGV2ZS5sYW5nYXNla0B1YnVudHUuY29tAAoJEFaN
MPMhshM9QX4QALFtYKRkNN4u2YWC9ZB1HKK/XosOTgu3djHjcW7rGPtmRKmLHUXq
7HSle9F922HmPR9YbnBJQbvsb6tiHoUJ79/ijn8ouhMQdn1QgouELYSiHwTIF29A
k8g9Wu28borS3dKAmCXJsWWHLzy+4dcJ5qfMQPWzMW6luOmyDt2CUezcrUjWiIa7
HIYiYbkrR4ZTFsGJC/4RxPAqWc1ECxxy6dm0vRp9IKKcGOSDSHFkLlKRdckwz7FE
HbxjqXfmAHEIhnez1TtuulRNe/lZ/GcFJZj7OgHSXFZ3AaZYFLC3NtLt+gp/AhHs
jJe5kg6T/FqQOpKei7kcuuZyutyOhoDbd6g8n5mO4B0B+s3le3WM1d0jXv5kYIql
S2uF22QxCUjXtXMUyeYv28aV2zRSBgy5ZmyC+Ak2HL8sNTzOSbUf0Lm3HZXHdD2i
cEsM9IBRyqjmI4gm3va/mkMgqPP7rQ0GaRfAfvCMujv6X+v2fpQMY/GuMwdGOFnH
lP9HOczjsbuyNuCkkRmsTj50PI+F9wkQdAb9QRSq1w/8/dU69OhBkYOdPyJvQr+J
3RHg2evr2EfohwZuKABmZwNjzXLqj7+VWXB7baN8//QwiMllvjXzov1Mugm6XJlS
iIMOfanZaWKRonH60v7Q0+ahnbT6diuddafYOxe6PjFm5ESawbu1aSEl
=6QBH
-----END PGP SIGNATURE-----