Processing of why3_0.87.2-2_source.changes

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

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: