Format: 1.8 Date: Mon, 17 Jul 2017 10:25:38 +0100 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: ppc64el Version: 0.87.3-2ubuntu1 Distribution: artful 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-2ubuntu1) artful; urgency=medium . * Skip why3+z3 test on ppc64el, as it hangs indefinately. Checksums-Sha1: c67da773b42b8406384a8d8b20bf86c9c7145232 4870072 libwhy3-ocaml-dev_0.87.3-2ubuntu1_ppc64el.deb 1d3787f0d4ad3471409f3402e40476a0e1615855 330878 why3-coq-dbgsym_0.87.3-2ubuntu1_ppc64el.ddeb bb4073163aa2e18de83ac7544fad21d96d95476f 5284390 why3-coq_0.87.3-2ubuntu1_ppc64el.deb 4895a47d1437f76b2f4d81883578daca00b676ea 4240544 why3-dbgsym_0.87.3-2ubuntu1_ppc64el.ddeb e0687505e930f6290a050af25a4b114e0f8da142 12838 why3_0.87.3-2ubuntu1_ppc64el.buildinfo c7dc19fbf9315ab3080bbf2d43e887d07067bf79 22761268 why3_0.87.3-2ubuntu1_ppc64el.deb Checksums-Sha256: d173d1b1b6c5704e05757d4e99010a581abdbc72e1f365031190330014110f17 4870072 libwhy3-ocaml-dev_0.87.3-2ubuntu1_ppc64el.deb c13355e96ac48b670c5cadfcc2997ce1dcce1176dec514519d258106a2870b3d 330878 why3-coq-dbgsym_0.87.3-2ubuntu1_ppc64el.ddeb 10d97b8a526e99e62975492dc38acc38e529680e2c3943b8faafcb301165a0f6 5284390 why3-coq_0.87.3-2ubuntu1_ppc64el.deb c63852b59f4d4e828818400636f53a2db453faed6ddeddaa302a6c8e496496cc 4240544 why3-dbgsym_0.87.3-2ubuntu1_ppc64el.ddeb 55abfa01700140cf5038ffe37597cab3263e1a68d2901e3f13a4874358034130 12838 why3_0.87.3-2ubuntu1_ppc64el.buildinfo c6064166e6de30e32ae74de505b067e2058444c86cca9faf965e6ccfdbf07242 22761268 why3_0.87.3-2ubuntu1_ppc64el.deb Files: 9c58b964048ab1cb805ea3952b201008 4870072 ocaml optional libwhy3-ocaml-dev_0.87.3-2ubuntu1_ppc64el.deb 888ef0434cabab46b6949dc61c5e9825 330878 debug extra why3-coq-dbgsym_0.87.3-2ubuntu1_ppc64el.ddeb 219bfb83926b8822f6bcd712e426c4a7 5284390 math optional why3-coq_0.87.3-2ubuntu1_ppc64el.deb ad40a1bbdea3938bf79ac65e52cfef64 4240544 debug extra why3-dbgsym_0.87.3-2ubuntu1_ppc64el.ddeb e8a086d526eb50bfd21b30e679528ddc 12838 math optional why3_0.87.3-2ubuntu1_ppc64el.buildinfo a9c8f583ccabcbb02b40d5a48744ed57 22761268 math optional why3_0.87.3-2ubuntu1_ppc64el.deb Original-Maintainer: Debian OCaml Maintainers