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: ppc64el 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: 8d1fa1a773a35e0186ce72b7a4d6d480d473bcac 4904794 libwhy3-ocaml-dev_0.87.3-2build3_ppc64el.deb 132d057e1ae9518764659a9817917f0cb9501fb5 332168 why3-coq-dbgsym_0.87.3-2build3_ppc64el.ddeb 50cc7409eb63caf64fc8708c085cee95441716b1 5286352 why3-coq_0.87.3-2build3_ppc64el.deb 9483007da7dec1f87e62f2727ec7f25717dfbc2c 4211568 why3-dbgsym_0.87.3-2build3_ppc64el.ddeb ad5d0278a12f3ef2a0c6a13ea12d754e020c4f63 12783 why3_0.87.3-2build3_ppc64el.buildinfo 3fbdff89b19a5a9419322d2c31d6cba13ba015ed 22831674 why3_0.87.3-2build3_ppc64el.deb Checksums-Sha256: 7ee7695439145236e35c96de8c0a6500b557be9033f79a5ee1bdc85bbc655bb4 4904794 libwhy3-ocaml-dev_0.87.3-2build3_ppc64el.deb 26b5ee4accc29472406861b11a1e023700691c8c132fd222e0fcf0101820983c 332168 why3-coq-dbgsym_0.87.3-2build3_ppc64el.ddeb b5d18d8ebdf31fd2c340a66cab8365ee6f8adff2e0060b994c3c701bf457355c 5286352 why3-coq_0.87.3-2build3_ppc64el.deb 8d70fb8e4390cb72ea03b0524b7ce89219e8d5801bb88cbe465a2e98be186234 4211568 why3-dbgsym_0.87.3-2build3_ppc64el.ddeb ee89b15d7e496bf84fd390527325ec9763534e9105836d279ea597c70a69ca6e 12783 why3_0.87.3-2build3_ppc64el.buildinfo eae9a63c59be456a19647ab5b5ecc0f3810d4523995f6545155d55464a369e52 22831674 why3_0.87.3-2build3_ppc64el.deb Files: ceca5abda1ac3c86f28cd90d3577eb70 4904794 ocaml optional libwhy3-ocaml-dev_0.87.3-2build3_ppc64el.deb b53bf4226c043b5d9d752882bccea2a8 332168 debug extra why3-coq-dbgsym_0.87.3-2build3_ppc64el.ddeb 5d4e33cfbff2d3d97b5b9414e7dde70c 5286352 math optional why3-coq_0.87.3-2build3_ppc64el.deb 7d218ccfedbb1b39a8bf62b36f740cf6 4211568 debug extra why3-dbgsym_0.87.3-2build3_ppc64el.ddeb f4e7fbea2177901b1c64fe2b52c35045 12783 math optional why3_0.87.3-2build3_ppc64el.buildinfo 4c9e9266367f92db6ac300601705a504 22831674 math optional why3_0.87.3-2build3_ppc64el.deb Original-Maintainer: Debian OCaml Maintainers