Format: 1.8 Date: Tue, 29 Aug 2017 18:39:07 -0500 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: amd64 all Version: 0.87.3-2ubuntu2 Distribution: artful-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Simon Quigley 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-2ubuntu2) artful; urgency=medium . * No-change rebuild for new menhir. Checksums-Sha1: 1bf643640b5c30c9d691d0a62b72e741ee04c47d 4709990 libwhy3-ocaml-dev_0.87.3-2ubuntu2_amd64.deb a3aa67478b36c0483598c3dac67e468e3b2cd56f 381480 why3-coq-dbgsym_0.87.3-2ubuntu2_amd64.ddeb c529e796a6315c2617735f732b256ca9f2995046 5226772 why3-coq_0.87.3-2ubuntu2_amd64.deb 0f05ca07c82417d5d0cc7bde7d20e24fb7449b64 3815780 why3-dbgsym_0.87.3-2ubuntu2_amd64.ddeb 71757ee128c4899077d437d7a99035742edc5621 589858 why3-doc-html_0.87.3-2ubuntu2_all.deb ba694c645c15bfbbe708c079f2e349b3f7b1fbc4 1220364 why3-doc-pdf_0.87.3-2ubuntu2_all.deb 01a61556ec530792bd7999962f844eb41e5d8ceb 1742498 why3-examples_0.87.3-2ubuntu2_all.deb 46d0676787339e0a19200b925a28c6a6ce9da55f 15164 why3_0.87.3-2ubuntu2_amd64.buildinfo 311f3e1d51b02d42c772dc998dd4d8dec9b01a71 21476960 why3_0.87.3-2ubuntu2_amd64.deb Checksums-Sha256: 1cd41aa5e411cfeecd36d411d1701e32a9c56c5aa73109fa042bfa76b52695ec 4709990 libwhy3-ocaml-dev_0.87.3-2ubuntu2_amd64.deb 9912cfb6ed5e148a2f12adff64e97d084ecd9d09d42d952a0ed43f701d4af74c 381480 why3-coq-dbgsym_0.87.3-2ubuntu2_amd64.ddeb e66105653934e08dd5b8ea7cab8da29c9a1902181176d2a94cb8e5d9191a760a 5226772 why3-coq_0.87.3-2ubuntu2_amd64.deb 4504f05dbd0c4f15cc9209820385980af9d2111b21656347ecf3b4d29c2cec96 3815780 why3-dbgsym_0.87.3-2ubuntu2_amd64.ddeb d885b663c794041ba88292fbf1643671d8391e0cb58e4c18b85f80538dd1a98b 589858 why3-doc-html_0.87.3-2ubuntu2_all.deb 1e2ce6b3fe37307bdc86c009160cc7b6ce8fa5b4b3682499897b41c1fb455cd8 1220364 why3-doc-pdf_0.87.3-2ubuntu2_all.deb bd02588a2e04dbb8e8d690c3504ea24e732a202639ff9f6be37db9ddae7990af 1742498 why3-examples_0.87.3-2ubuntu2_all.deb 5c3e809757589a0bf3beb9a9fd899a11cbe49968b502af469417903a5f09d65a 15164 why3_0.87.3-2ubuntu2_amd64.buildinfo 150279e381f662e40353af7e66dc740dcc7471e8baff3a029aed3e9f2adb63b5 21476960 why3_0.87.3-2ubuntu2_amd64.deb Files: 2a59716720739ea8b14d85f2c876a981 4709990 ocaml optional libwhy3-ocaml-dev_0.87.3-2ubuntu2_amd64.deb e900600ff98555beff248adc920e3e92 381480 debug extra why3-coq-dbgsym_0.87.3-2ubuntu2_amd64.ddeb 1d85684cdbf4af734396d0fad9e1343a 5226772 math optional why3-coq_0.87.3-2ubuntu2_amd64.deb e6573826afd76c8617d3322d30233813 3815780 debug extra why3-dbgsym_0.87.3-2ubuntu2_amd64.ddeb 289ff8bcc98cfb8dd992ffe4572ac6a2 589858 math optional why3-doc-html_0.87.3-2ubuntu2_all.deb a69d99750bc0ee99a0fa8410fc0ebc2b 1220364 math optional why3-doc-pdf_0.87.3-2ubuntu2_all.deb 41dae4559128656132f52aa3698e864d 1742498 math optional why3-examples_0.87.3-2ubuntu2_all.deb 9cfbd6d5773c7356f891b63bc61c33d3 15164 math optional why3_0.87.3-2ubuntu2_amd64.buildinfo 1840caf19c09eb9d6d5976a9ebc3b84b 21476960 math optional why3_0.87.3-2ubuntu2_amd64.deb Original-Maintainer: Debian OCaml Maintainers