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: s390x
Version: 0.87.2-2
Distribution: zesty-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@z13-018.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:
 9fc045e5a5ebc41bbb888d5f48a7be6790d29e04 4631248 libwhy3-ocaml-dev_0.87.2-2_s390x.deb
 a10e9636eb55ff5e9db005d4d5d47c4494c23242 5052768 why3-coq_0.87.2-2_s390x.deb
 b5fd1a5c141b324e83343f3bc232bcb065568ae0 47884842 why3_0.87.2-2_s390x.deb
Checksums-Sha256:
 afdaaa3b0e04cbf8160899a987d3e849d9e4187682d88067cac80594a266af65 4631248 libwhy3-ocaml-dev_0.87.2-2_s390x.deb
 499990f0bb2633696808490b18890d7a39af6d576290b3ddcac48e695a5f3681 5052768 why3-coq_0.87.2-2_s390x.deb
 d88921ae5efbd81c8f6b1e195a931cc5c5c13dcf3f17811cf09120d850f0e7af 47884842 why3_0.87.2-2_s390x.deb
Files:
 b640c471e970a8e8197968d557139e70 4631248 ocaml optional libwhy3-ocaml-dev_0.87.2-2_s390x.deb
 91a651ea4009464fa1faceae093a69b7 5052768 math optional why3-coq_0.87.2-2_s390x.deb
 eded8094dd86941acffcc2cf0b5d3da9 47884842 math optional why3_0.87.2-2_s390x.deb