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: armhf
Version: 0.87.2-2
Distribution: zesty-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-015.buildd>
Changed-By: Ralf Treinen <treinen@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
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:
 81880d18517415f4cde1ab80800f9937adbb3fb2 4788752 libwhy3-ocaml-dev_0.87.2-2_armhf.deb
 1e2bab694def8ae74f2ea045628426eba4ae46ee 301026 why3-coq-dbgsym_0.87.2-2_armhf.ddeb
 6f45131c235eebac31633f39c9b618c13ac90d20 5056012 why3-coq_0.87.2-2_armhf.deb
 fd88ea46e6ef3e54306c7fc624afa6cead9f1f60 1912226 why3-dbgsym_0.87.2-2_armhf.ddeb
 9010086e4b216a2f85bcf9a74c2b6ea734ba4ec7 7728954 why3_0.87.2-2_armhf.deb
Checksums-Sha256:
 76884d44ea52165806065fa0d42e5ab955c223409a9ff96e7c9c48ce047c397a 4788752 libwhy3-ocaml-dev_0.87.2-2_armhf.deb
 768737a28c846fd869c8461f4df1d08978f3fd25b41751d91be4764689a5a520 301026 why3-coq-dbgsym_0.87.2-2_armhf.ddeb
 ab844267b95d6659425ecaf998873e596bf73f63a9e6c9bbbb4c118075e09dea 5056012 why3-coq_0.87.2-2_armhf.deb
 af1b9cf3890d98fe415f389eb7d35108a3ce43c9038d7fad2da6adafadf039f5 1912226 why3-dbgsym_0.87.2-2_armhf.ddeb
 f268b7a9fe6649a4c6bfddb9bf8371ccb6ffb2a37cf61bb9bec81f5a56c2fa77 7728954 why3_0.87.2-2_armhf.deb
Files:
 e7b822bac6fd422b9fb6a01a15d4de48 4788752 ocaml optional libwhy3-ocaml-dev_0.87.2-2_armhf.deb
 1ecb86682001c0fe3a793e9bc511c2a0 301026 math extra why3-coq-dbgsym_0.87.2-2_armhf.ddeb
 897221363c54594d364bac4cd86e90d4 5056012 math optional why3-coq_0.87.2-2_armhf.deb
 606739de2a7ddc41e8e58d0d16fe8411 1912226 math extra why3-dbgsym_0.87.2-2_armhf.ddeb
 65a17b8789783cad93802abfff6d99d5 7728954 math optional why3_0.87.2-2_armhf.deb