Format: 1.8 Date: Mon, 18 Sep 2017 22:11:33 +0200 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: s390x Version: 0.87.3-2ubuntu3 Distribution: artful-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Matthias Klose 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-2ubuntu3) artful; urgency=medium . * Don't run why3+z3 on s390x, fails. Already ignored on ppc64el. Checksums-Sha1: 33e03352be5c0e4c996cc8c9b225e34c3d933772 4668674 libwhy3-ocaml-dev_0.87.3-2ubuntu3_s390x.deb 506bf479c577762d1d042637fe1d9f4c7b319b1b 309108 why3-coq-dbgsym_0.87.3-2ubuntu3_s390x.ddeb cd9a970215e990beee2b66e650ca5aed6909ee92 5233342 why3-coq_0.87.3-2ubuntu3_s390x.deb 05647c0c476cfb12f7d02fab09b75a45abac878f 3069670 why3-dbgsym_0.87.3-2ubuntu3_s390x.ddeb 6e1c1eb626446daf7ba5ec2b1141f642b629e243 12783 why3_0.87.3-2ubuntu3_s390x.buildinfo 4dc9b75aadbbca6c229c3b4289ad53e05c408dfd 21640382 why3_0.87.3-2ubuntu3_s390x.deb Checksums-Sha256: 3ed17095cea2ba0afba2222743e26ebae2b34362bd91ca4837969d4511b0e972 4668674 libwhy3-ocaml-dev_0.87.3-2ubuntu3_s390x.deb 6143b54aa94d21a54ee3208080aca76586197c4ae89a978ba9770ca9f8a29829 309108 why3-coq-dbgsym_0.87.3-2ubuntu3_s390x.ddeb 5526a7a38e6c079200264edaf60f854af6ab0a679f7075f67c9760d59c549f90 5233342 why3-coq_0.87.3-2ubuntu3_s390x.deb a190116737dc96195fd64cab9dc057d9fe3cf1a3d78e9b2e469bad50bc688112 3069670 why3-dbgsym_0.87.3-2ubuntu3_s390x.ddeb 203d48795250d7e3920ea98d808d914ab641ddfc0d8e28e6689203b59bdae39b 12783 why3_0.87.3-2ubuntu3_s390x.buildinfo bf2f763a7f7e50c751e1e0bcca972d76d0a801c482bdfe42748da6b3221ed406 21640382 why3_0.87.3-2ubuntu3_s390x.deb Files: f647ded000982a0cb8cc41874a411ddf 4668674 ocaml optional libwhy3-ocaml-dev_0.87.3-2ubuntu3_s390x.deb 23e64d6f8da2366b6c7fb62a1bc11797 309108 debug extra why3-coq-dbgsym_0.87.3-2ubuntu3_s390x.ddeb 01609ef12900408c800c95dcb75c2146 5233342 math optional why3-coq_0.87.3-2ubuntu3_s390x.deb 7e1e8f997f331dae35a4a69697a48586 3069670 debug extra why3-dbgsym_0.87.3-2ubuntu3_s390x.ddeb 42554dac744070b526ef10d1a659e17e 12783 math optional why3_0.87.3-2ubuntu3_s390x.buildinfo 61eb6a49f5b4e40e19fc16be989ec13a 21640382 math optional why3_0.87.3-2ubuntu3_s390x.deb Original-Maintainer: Debian OCaml Maintainers