Processing of why3_0.87.2-2_source.changes

[Debian FTP Masters]

why3_0.87.2-2_source.changes uploaded successfully to localhost
along with the files:
  why3_0.87.2-2.dsc
  why3_0.87.2-2.debian.tar.xz

Greetings,

Your Debian queue daemon (running on host franck.debian.org)

why3_0.87.2-2_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256

Format: 1.8
Date: Wed, 21 Sep 2016 20:59:50 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers 
Changed-By: Ralf Treinen 
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.2-2) unstable; urgency=medium
 .
   * install why3lang.sty:
 - add to why3.install
 - add target directory to why3.dirs
 - invoke dh --with tex
 - add build-dependency on tex-common
Checksums-Sha1:
 0576f7780571be44a266c7b65f88166891b569db 2581 why3_0.87.2-2.dsc
 cfebabd195e06003edacf33627a8ddad2c8ece56 11328 why3_0.87.2-2.debian.tar.xz
Checksums-Sha256:
 4bd36afb326887a556599f6d97a7a27fca06e1ab6f5de03447f35e156efb218d 2581 
why3_0.87.2-2.dsc
 dffcfa7b1ca4aa89202bb80277a65aa5f3e32e2748868dab7a489aad5f54 11328 
why3_0.87.2-2.debian.tar.xz
Files:
 4244bcdc2b6df3528d23975c193d76bd 2581 math optional why3_0.87.2-2.dsc
 953cf7db743ddbdc95641914ea08a7ad 11328 math optional 
why3_0.87.2-2.debian.tar.xz

-BEGIN PGP SIGNATURE-

iQIcBAEBCAAGBQJX4tjVAAoJEHRcR2bUys3/3DYQAI5IEZFBA00UTQOMMR5atikp
xFGQseDeAU21zpaAj6oHJK1sisfSv8zPBKFavZg6Hj5tZlDdExSO0nv5i5b4NIGF
EtA9NgxNPS78KCZkYou75j4OZ3FDpbWpUs522JIobcJfkpE0UKKx3GojEO4cFk0c
tvfVlynwTJbDoIMIhLcyv2NT6BF/sPLqU1frj1/gjuTpHvbCSRi5eKonocMhmReL
GDjM4EDzb4GyV11Nsh844L7vMPmm56zw7utPcHwiBJULZzLkudS+7DndJakuPkpL
TkBNEdaxRVE3HRwqBCBfAFymf44V33HzE3BGsyVDW9BmN05hO5+uZIY1sp6ROx6x
2Bz2pp5yeyxjPO+rZYdIj1qJcWOvypV1hZ7SZoqGYMj3Z6JEWRj4WBj/4oae20iJ
/nmdIJQvOElxSwfcBExsbv7S6zIxJj6pij4kUrydJ60SE3kdtqbetXcz6vaBNleL
1Z3QCiCwyfYSk1wWu7UF1Krm0k6KD3yKhH6b1Pb+Zw6CQ4aXOlp162XzGTmUaGCh
8a2BiRN+iRrvHDMKoM5LYrsVtGbvBCecKyTv5QR9s8c8C+5c9MS8+YC3QwaIwHJb
OM6bQB6k2aO5QlXHRCx+fz02w1NOsQUHfX4+JMojzKNpNry0vAMvqaiDzaCT2zRS
ZC5RUX4bHJlsUxBU6FYn
=bf4T
-END PGP SIGNATURE-


Thank you for your contribution to Debian.