Format: 1.8 Date: Sun, 16 Jul 2017 23:46:41 +0100 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: ppc64el Version: 0.87.3-2build5 Distribution: artful Urgency: high 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-2build5) artful; urgency=high . * No change rebuild against coq abi change. Checksums-Sha1: db46fc8bee6cb399040c1cf0ca919537ae0722e0 4885018 libwhy3-ocaml-dev_0.87.3-2build5_ppc64el.deb 500b1f27851c24769932cb80dc7926fb2ac293f0 331152 why3-coq-dbgsym_0.87.3-2build5_ppc64el.ddeb 67ecbf03b9b7e18decf6b4a488afdc62326fd980 5285206 why3-coq_0.87.3-2build5_ppc64el.deb d218157290dceed884381ce7e8726155b9a4951f 4242052 why3-dbgsym_0.87.3-2build5_ppc64el.ddeb eac1a2e6589f53435a7e212801751896e9cee2d9 12822 why3_0.87.3-2build5_ppc64el.buildinfo 4d58a541592e4191d903ddefafdfd261808b7141 22760154 why3_0.87.3-2build5_ppc64el.deb Checksums-Sha256: 83a0ff4907f40d5c69967081963d4af18c218bd02a81e46e5a7b07c7ce5c8c8c 4885018 libwhy3-ocaml-dev_0.87.3-2build5_ppc64el.deb 2314a92d398600ab1f59fdc2950d9ce63636ebeef77628afa2bd8be5382d0ce0 331152 why3-coq-dbgsym_0.87.3-2build5_ppc64el.ddeb c07d42b868423182fb50a12904fefcba44c08164c067e4c5031c55c938c9708d 5285206 why3-coq_0.87.3-2build5_ppc64el.deb f40773cf3d5e152e00da1d136ff9bbff9f99e71f62564258f9326540aad992d4 4242052 why3-dbgsym_0.87.3-2build5_ppc64el.ddeb 0cdbcdd6b84f82685f8543468c8be310f78396a94a7fb37d8e5e1aa99deffe79 12822 why3_0.87.3-2build5_ppc64el.buildinfo 60e9f095a957312e53d593606cd54a5f63105e87dac94482a6af4e3e5a7a645d 22760154 why3_0.87.3-2build5_ppc64el.deb Files: b409d815f01c02d5a4d15f591b1670c2 4885018 ocaml optional libwhy3-ocaml-dev_0.87.3-2build5_ppc64el.deb 7ff15577d101494e5124f593a0a454db 331152 debug extra why3-coq-dbgsym_0.87.3-2build5_ppc64el.ddeb 5f2b6d21db1be4db21405932947a0cd0 5285206 math optional why3-coq_0.87.3-2build5_ppc64el.deb a9a40567c9a12b1d8361c2d95a157cc4 4242052 debug extra why3-dbgsym_0.87.3-2build5_ppc64el.ddeb 6d2555a5d1c359f0553a839794fa2de2 12822 math optional why3_0.87.3-2build5_ppc64el.buildinfo 48a7f6656e67c173c6e9fb9372b71147 22760154 math optional why3_0.87.3-2build5_ppc64el.deb Original-Maintainer: Debian OCaml Maintainers