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: i386
Version: 0.87.2-2
Distribution: zesty-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-39.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:
 2d842e79af1e1fb2c082cfb948bd52fabe5de9e0 4636732 libwhy3-ocaml-dev_0.87.2-2_i386.deb
 0c766397da5902814698ca6ca52367f53da74036 282850 why3-coq-dbgsym_0.87.2-2_i386.ddeb
 0574183ce9635dc8adbe68895d0b1e6c914a5e25 4981024 why3-coq_0.87.2-2_i386.deb
 e0c1d696b3c05e3c1c8db20a040d90a9af844726 1595722 why3-dbgsym_0.87.2-2_i386.ddeb
 9dbef8edbc9cc4c4383988fe837cf3deee331ff2 8307598 why3_0.87.2-2_i386.deb
Checksums-Sha256:
 e9bd29d598474c743b53e15d777e4fa3d0c2bccacbbad9119d2b3215bde6176b 4636732 libwhy3-ocaml-dev_0.87.2-2_i386.deb
 76fdb772767f5093c70a1dfab1cb20dea87285d2eff7e9e5b2f0c4772f391218 282850 why3-coq-dbgsym_0.87.2-2_i386.ddeb
 f804d91e9b8b35ce773f0cf03b19d5ae949a96e206a43b7601dfc4b5a26a9556 4981024 why3-coq_0.87.2-2_i386.deb
 9c6d833c5b81dd42761755ac651c04cae9d79302b52ac5aefbe385846f84de82 1595722 why3-dbgsym_0.87.2-2_i386.ddeb
 982348ea7ccfac38a953ebbc89d69693f708ac75c828144d78bfa92a4533528d 8307598 why3_0.87.2-2_i386.deb
Files:
 8400b5d988050a502b251f39533a4b45 4636732 ocaml optional libwhy3-ocaml-dev_0.87.2-2_i386.deb
 636050f54f21e6cb4cd27589a41d6175 282850 math extra why3-coq-dbgsym_0.87.2-2_i386.ddeb
 38533b9ed7beb5421bcf3da79bc24aba 4981024 math optional why3-coq_0.87.2-2_i386.deb
 3d09200311a1d3611f1a441288dadabd 1595722 math extra why3-dbgsym_0.87.2-2_i386.ddeb
 8acf800967fe9b343f040aade15ecfba 8307598 math optional why3_0.87.2-2_i386.deb