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: powerpc
Version: 0.87.2-2
Distribution: zesty-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@denneed05.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:
 2b3e0e252e95a1aa9bd1811bd38e3ec1819546f5 4523810 libwhy3-ocaml-dev_0.87.2-2_powerpc.deb
 222cd5a7be4d1bf4940e1eb973f4347ef8a1155b 4888046 why3-coq_0.87.2-2_powerpc.deb
 58f90cea07ba294b14fa5ae432f1e232c0cf68e7 6915488 why3_0.87.2-2_powerpc.deb
Checksums-Sha256:
 0af9d3529d8ce30b8647986baeb922bc778860ad74d50dfa682f44cfd84bfa6d 4523810 libwhy3-ocaml-dev_0.87.2-2_powerpc.deb
 bcb54c63e3aecf957f2c28d56b4aa6b6fd65f040934eb3144ea75594fd0d10f5 4888046 why3-coq_0.87.2-2_powerpc.deb
 a1e51e7b445c68c17c8ba25cafd87866c8d76217b5b7d36a7e96cfefc08f9e07 6915488 why3_0.87.2-2_powerpc.deb
Files:
 a372a7973433c89d3d94a06e1df22f11 4523810 ocaml optional libwhy3-ocaml-dev_0.87.2-2_powerpc.deb
 ad88396f99bc91b1e3bd49ac6d346070 4888046 math optional why3-coq_0.87.2-2_powerpc.deb
 61317a04985c27e2c2f28c4778288049 6915488 math optional why3_0.87.2-2_powerpc.deb