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: arm64
Version: 0.87.2-2
Distribution: zesty-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-038.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:
 f7a0cd0ec40196eb7156cf89d4d970a3564e6e25 4726728 libwhy3-ocaml-dev_0.87.2-2_arm64.deb
 d1c7ad3b68bb43461f3efc9fe988b396c14e4386 281658 why3-coq-dbgsym_0.87.2-2_arm64.ddeb
 208913322860ade302015eaf5b01747d730ed773 5088510 why3-coq_0.87.2-2_arm64.deb
 623e2cbaa3deec4e8c16f8ca1e44002b8319f467 1709864 why3-dbgsym_0.87.2-2_arm64.ddeb
 2586d3f7301e3aa145d9ce9a0f29e2ccd063fa3d 8214566 why3_0.87.2-2_arm64.deb
Checksums-Sha256:
 7afd7e487a866b2a04e8c36d4046d6fe8a3e0b05447831d4a06b107034d53366 4726728 libwhy3-ocaml-dev_0.87.2-2_arm64.deb
 07683eda27fda128dba124b388de0e9f6c1ee263b588b874da0c48f91a7d6f93 281658 why3-coq-dbgsym_0.87.2-2_arm64.ddeb
 c93df8c2f27a81c13759eab7b023d73e254817e78e7d41b9cb7bf90e38a112d0 5088510 why3-coq_0.87.2-2_arm64.deb
 adf6b2462d651281583ffd912fc14d3f7168d9fc5a024e43a7b0d21332c08a50 1709864 why3-dbgsym_0.87.2-2_arm64.ddeb
 dd8e64a6a94d4034c5ab9c24b6e039c16e5f15a4c07a2fb52700793e4acf9629 8214566 why3_0.87.2-2_arm64.deb
Files:
 778bbeee53a1e95418601a232ad07535 4726728 ocaml optional libwhy3-ocaml-dev_0.87.2-2_arm64.deb
 1598a7894af058ea8d7a939f68d6d281 281658 math extra why3-coq-dbgsym_0.87.2-2_arm64.ddeb
 aceb02ac8689fb4bb058375064ae7a07 5088510 math optional why3-coq_0.87.2-2_arm64.deb
 e32fd4c88abc427b67d0ee7ca68eaec1 1709864 math extra why3-dbgsym_0.87.2-2_arm64.ddeb
 605aaacb503dd5cfa26083d632121f05 8214566 math optional why3_0.87.2-2_arm64.deb