Format: 1.8 Date: Thu, 14 Dec 2017 08:40:43 +0100 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: ppc64el Version: 0.88.2-1ubuntu1 Distribution: bionic-proposed Urgency: low Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna 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.88.2-1ubuntu1) bionic; urgency=low . * Merge from Debian unstable. Remaining changes: - Skip why3+z3 test on ppc64el/s390x, as it hangs indefinately. Checksums-Sha1: 4d190a7e1c8968bd04d3f0216171baa9a263895b 1993112 libwhy3-ocaml-dev_0.88.2-1ubuntu1_ppc64el.deb 15b84e32d7448239324593344299eb9e778f4625 353796 why3-coq-dbgsym_0.88.2-1ubuntu1_ppc64el.ddeb eda8473988dace82904c5201853092574b3038e7 2218020 why3-coq_0.88.2-1ubuntu1_ppc64el.deb 8c7daa5b9e092d62d75f3acf7184501632e999ea 3585268 why3-dbgsym_0.88.2-1ubuntu1_ppc64el.ddeb 67b1121918e4f75250b078797d40d7ab12423522 12952 why3_0.88.2-1ubuntu1_ppc64el.buildinfo 7bbd1a83fe66810aac3f364b46bf23026a706615 22512052 why3_0.88.2-1ubuntu1_ppc64el.deb Checksums-Sha256: 6a85b9d3a3d509219f10b56cfa6dfe1a13df0cdc4d5b181ba8d12fd05c7115b5 1993112 libwhy3-ocaml-dev_0.88.2-1ubuntu1_ppc64el.deb ec29115947c96234e671d7bbdaf72e3c1c7a9d20abe36a5a9aa92f1c097723f6 353796 why3-coq-dbgsym_0.88.2-1ubuntu1_ppc64el.ddeb 7a7b1190cfcdf80404886467974a17626e0904a42d3c5e7ab0ef9a85409cf62f 2218020 why3-coq_0.88.2-1ubuntu1_ppc64el.deb 53f5c0da9f93c540ec763c72dfa6be7f1f483a2367970be50b3e7f9cc80528af 3585268 why3-dbgsym_0.88.2-1ubuntu1_ppc64el.ddeb 5c9ab3f94c38d2f1bf49108130eb07a7349abfb34c2da6a6f0948bd15356914b 12952 why3_0.88.2-1ubuntu1_ppc64el.buildinfo 8ca7d37fdbc45b7ee512527d613a820008d26bacfdd09bfa38d7204b5c81b783 22512052 why3_0.88.2-1ubuntu1_ppc64el.deb Files: e289ff40d1c372759e3b158eca65a27d 1993112 ocaml optional libwhy3-ocaml-dev_0.88.2-1ubuntu1_ppc64el.deb 0bea4eb905e9e0515787a8c31f1f352a 353796 debug optional why3-coq-dbgsym_0.88.2-1ubuntu1_ppc64el.ddeb 190a9da68c66e72d0884063a44dd4178 2218020 math optional why3-coq_0.88.2-1ubuntu1_ppc64el.deb 3d2f961ed202b99432b089715b14ca4d 3585268 debug optional why3-dbgsym_0.88.2-1ubuntu1_ppc64el.ddeb de2ec2888f5ae5e4198167efbe12c50d 12952 math optional why3_0.88.2-1ubuntu1_ppc64el.buildinfo e2e75b71df628681593d77dd05a6e36d 22512052 math optional why3_0.88.2-1ubuntu1_ppc64el.deb Original-Maintainer: Debian OCaml Maintainers