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: amd64 all
Version: 0.87.2-2
Distribution: zesty-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-42.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:
 358af9c5bbc27606d7aaa4060fabdc5534f25621 4679660 libwhy3-ocaml-dev_0.87.2-2_amd64.deb
 0f817873b47a1c2a68ac1feb022d554ee6f3eb81 293446 why3-coq-dbgsym_0.87.2-2_amd64.ddeb
 72d3270c2b547d7cd0cf743e7171736c82e4b0f1 5127814 why3-coq_0.87.2-2_amd64.deb
 89bcc8616567b7ddd8ba7bd9e8f6c18d87412b87 1765116 why3-dbgsym_0.87.2-2_amd64.ddeb
 58bb999ea2b4e1cf3320215d3fcb4e2191881b52 582302 why3-doc-html_0.87.2-2_all.deb
 d6f8757c2b2e9e929698bb5587f418b41657701f 1218356 why3-doc-pdf_0.87.2-2_all.deb
 ed6bc942b9adcdb7192b976b0bfe19300ee4a996 1742778 why3-examples_0.87.2-2_all.deb
 735f621cbdf37f59f25c784a7c3b9769f427975a 11415758 why3_0.87.2-2_amd64.deb
Checksums-Sha256:
 65d53de24a324278a249e07ab836c3ba58ece82368757b28b3c6078434042c0c 4679660 libwhy3-ocaml-dev_0.87.2-2_amd64.deb
 e6a0791f6501ab19947d9d969d00112a528d399531ee2a6aed4219d899c7a52b 293446 why3-coq-dbgsym_0.87.2-2_amd64.ddeb
 7ff82da0966eb1a404d6650960ce2053025ddee92c72ad5bb838031b5d9511d2 5127814 why3-coq_0.87.2-2_amd64.deb
 3fb4c1ff8249bed27332bbd0a8cfd66162dded72d971e821368716362bf393b1 1765116 why3-dbgsym_0.87.2-2_amd64.ddeb
 a6bc58cea570e99b4380d8d7164d9b867e89e758fa320d2adc5bb6f7ef755317 582302 why3-doc-html_0.87.2-2_all.deb
 fa8a939efdabe0d833c6e53980461c394a3f9c2f8a47ed23fcaae986b5117839 1218356 why3-doc-pdf_0.87.2-2_all.deb
 0bb669870eb0a46941c614b0238ba32624832f8fd630133c18bbaff97e37d258 1742778 why3-examples_0.87.2-2_all.deb
 7f3548c6e5e663de47a0c69cb11a70093f5ede36dfb7d9f87a25aff22ea52f9c 11415758 why3_0.87.2-2_amd64.deb
Files:
 5af1c38da89b3b324841619a67949a83 4679660 ocaml optional libwhy3-ocaml-dev_0.87.2-2_amd64.deb
 433be8a9e380064fb1462ae6666e66fe 293446 math extra why3-coq-dbgsym_0.87.2-2_amd64.ddeb
 16e5039570173b91fc2e751afd96f76e 5127814 math optional why3-coq_0.87.2-2_amd64.deb
 df1221a35f5861259260a8829293f962 1765116 math extra why3-dbgsym_0.87.2-2_amd64.ddeb
 3c10c867efa69fefb0c1e1da67bd99ee 582302 math optional why3-doc-html_0.87.2-2_all.deb
 82659c30d245c57b13ab01041f653cd8 1218356 math optional why3-doc-pdf_0.87.2-2_all.deb
 e0555c1d2288eaeb130a32bacd913736 1742778 math optional why3-examples_0.87.2-2_all.deb
 d80720069c6f04793b7220b628f37c56 11415758 math optional why3_0.87.2-2_amd64.deb