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: amd64 all
Version: 0.87.3-2build5
Distribution: artful
Urgency: high
Maintainer: Launchpad Build Daemon <buildd@lgw01-17.buildd>
Changed-By: Dimitri John Ledkov <xnox@ubuntu.com>
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:
 13083b8066a5d2b6986341fba4a056a59c7bb52f 4709048 libwhy3-ocaml-dev_0.87.3-2build5_amd64.deb
 4e1839fa8bb45c69f2d14e73834d9f2387a149d6 382658 why3-coq-dbgsym_0.87.3-2build5_amd64.ddeb
 afe8013d1fce6d4f1fe0fe9642a27bd580620d1a 5228562 why3-coq_0.87.3-2build5_amd64.deb
 e106a818dec00f733b50d5032090bc6be79bbc9a 5005662 why3-dbgsym_0.87.3-2build5_amd64.ddeb
 852ab61a0a18cfe910c9e6785a8c06ab326654ab 589980 why3-doc-html_0.87.3-2build5_all.deb
 e1d1a525464d98f5352bd0219c0bad88ad282bec 1220548 why3-doc-pdf_0.87.3-2build5_all.deb
 188be358a85f8c8ffbf1b4ac4aeb91a0896c58cb 1742638 why3-examples_0.87.3-2build5_all.deb
 876685f68e3a3ef13c43e99c07add5c421af5fa6 15117 why3_0.87.3-2build5_amd64.buildinfo
 988d1171fef0b18963ab995b262b4179586b6f4a 21418284 why3_0.87.3-2build5_amd64.deb
Checksums-Sha256:
 f0ab8d0798dbb4803a98ae17c76afd8dd0689e9aca2e6d38b13fe0e1596026f7 4709048 libwhy3-ocaml-dev_0.87.3-2build5_amd64.deb
 36b40956c745cfd178fcd08cfa202439a62ae602885e572f4b25bb3bcf17b400 382658 why3-coq-dbgsym_0.87.3-2build5_amd64.ddeb
 96add206df1f067433ca4d1f7762ecd1f133fd319744dabba035e500e09662bc 5228562 why3-coq_0.87.3-2build5_amd64.deb
 ab5dea484333f50ea91079603f95811639b20e18f51bed37edf54640bd0ac5e6 5005662 why3-dbgsym_0.87.3-2build5_amd64.ddeb
 5095d9ff2426a8ed3e3a01e87aa99470f98fc90c6008ae62b31bd316ac61d942 589980 why3-doc-html_0.87.3-2build5_all.deb
 5b0deea4a1a606617719175790ed8959c95da0c0a2cfc2e89ea22e45fc94b372 1220548 why3-doc-pdf_0.87.3-2build5_all.deb
 7ac89428767accc4849532bf5317837f2a3bf0d96e363cc3ec3a7ce2d5924c9d 1742638 why3-examples_0.87.3-2build5_all.deb
 cb2f01d6bdd0f2191a00219d939b0a5ad1a921d7110ec92d99f6227fc5a8157f 15117 why3_0.87.3-2build5_amd64.buildinfo
 26a5a5228301daa8f593d228ad254302aced74d10cefd2d424f61b4e74aa4a9b 21418284 why3_0.87.3-2build5_amd64.deb
Files:
 43bd08f6f34021dade2658ad0c325f0a 4709048 ocaml optional libwhy3-ocaml-dev_0.87.3-2build5_amd64.deb
 55a9547e12d11d06f4210725b8430d58 382658 debug extra why3-coq-dbgsym_0.87.3-2build5_amd64.ddeb
 b5a82ecf5d216e3654b1fee2e4bd6505 5228562 math optional why3-coq_0.87.3-2build5_amd64.deb
 7d48afe67528f2328dc32b7a76903485 5005662 debug extra why3-dbgsym_0.87.3-2build5_amd64.ddeb
 55dab71ad9d37147fa220fba9aa0dcc2 589980 math optional why3-doc-html_0.87.3-2build5_all.deb
 c3f1ebb428b34380bb760fcf6ae4bc10 1220548 math optional why3-doc-pdf_0.87.3-2build5_all.deb
 7a7b4d0088b5457caeae22d5efacb32e 1742638 math optional why3-examples_0.87.3-2build5_all.deb
 a1c8aafa26fadd68060a3a306f872e8b 15117 math optional why3_0.87.3-2build5_amd64.buildinfo
 9eac715eb4248b86c4cd403aefa22b33 21418284 math optional why3_0.87.3-2build5_amd64.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>