Format: 1.8 Date: Mon, 10 Jul 2017 18:00:11 +0100 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: i386 Version: 0.87.3-2build3 Distribution: artful-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Dimitri John Ledkov 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.3-2build3) artful; urgency=medium . * Rebuild due to changed ocaml abis. Checksums-Sha1: b6969751c2ac96fe1bfa4c50446d604877575bee 4696676 libwhy3-ocaml-dev_0.87.3-2build3_i386.deb 14669d629860853ac59692c5757e810baeb3eacf 370864 why3-coq-dbgsym_0.87.3-2build3_i386.ddeb bdbed31920b7efb7225a3ddcc93d2aadc6d58ddd 5007592 why3-coq_0.87.3-2build3_i386.deb a2eff577617d95230b9c415c66a8bcaa59bba009 4851906 why3-dbgsym_0.87.3-2build3_i386.ddeb 49e20db68eb5d58cd84fc43994a7bc10f6789cc4 12828 why3_0.87.3-2build3_i386.buildinfo ebc7fed578f1c0d00f7d7022afcf5eea6b729006 13320686 why3_0.87.3-2build3_i386.deb Checksums-Sha256: 9be6b9ef8d38054a572dbaaa88d75b1a0fb00148a656a4e220baf0ce6c415810 4696676 libwhy3-ocaml-dev_0.87.3-2build3_i386.deb 02f531770db7603a75080a3c28520000b121e494e7d1c96ac9aa917c4a4177f7 370864 why3-coq-dbgsym_0.87.3-2build3_i386.ddeb c7a3e01c9760d12c86f2e87eb7743ad1fa7e3fa1f9e5bd3689f9ffee8a6222f9 5007592 why3-coq_0.87.3-2build3_i386.deb e82c176caf499ddb5abb2ca1cd24c1a44780e36048bb365393377881630cb058 4851906 why3-dbgsym_0.87.3-2build3_i386.ddeb b1e8636061f9e9bccacdc3a2c75f0fde4732f7542a92fad30899b8d95525c24b 12828 why3_0.87.3-2build3_i386.buildinfo 33d144434ef3460cbcbb5d2b2480032a8f13a5b63869c67e481d3a6b6da9bb75 13320686 why3_0.87.3-2build3_i386.deb Files: 8e48eceaf7993d963543f73402f1c11b 4696676 ocaml optional libwhy3-ocaml-dev_0.87.3-2build3_i386.deb 8eb760b86e1644123757c4782daf6a1f 370864 debug extra why3-coq-dbgsym_0.87.3-2build3_i386.ddeb 38d39295f2312a657b91316a9ab566da 5007592 math optional why3-coq_0.87.3-2build3_i386.deb 98162c6cd4bed01a41239803ee492e2a 4851906 debug extra why3-dbgsym_0.87.3-2build3_i386.ddeb 2f4874f7ccdff78bc8dc7a9f0c9f7486 12828 math optional why3_0.87.3-2build3_i386.buildinfo 038500b5fc553a87c5c17966b5d3cb35 13320686 math optional why3_0.87.3-2build3_i386.deb Original-Maintainer: Debian OCaml Maintainers