Format: 1.8 Date: Sat, 28 Oct 2017 16:41:58 +0200 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: arm64 Version: 0.87.3-2ubuntu4 Distribution: bionic-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna 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-2ubuntu4) bionic; urgency=medium . * Rebuild against new OCAML ABIs. Checksums-Sha1: ccd8dde83fd1d308afe541f92329f0c4cf9418a7 5021596 libwhy3-ocaml-dev_0.87.3-2ubuntu4_arm64.deb 3864123bee72df391eccc143eb20ef4894619554 509360 why3-coq-dbgsym_0.87.3-2ubuntu4_arm64.ddeb 0a8f570a01c9d2d8030f04801090edb53a9acc24 5718056 why3-coq_0.87.3-2ubuntu4_arm64.deb bab45165ce5ca85b870a0b7749509536b3de4547 4758312 why3-dbgsym_0.87.3-2ubuntu4_arm64.ddeb 5d0da07e7a15f6f80411c660552f9b9199a61c19 12880 why3_0.87.3-2ubuntu4_arm64.buildinfo 3bcd9152d5908e3d844233e71e7f3c0abcceef44 27366508 why3_0.87.3-2ubuntu4_arm64.deb Checksums-Sha256: 2a6a6b85b48a24f63b1e86e8644f8f05c3f283bf5ef8869312d6665b8a99aa2c 5021596 libwhy3-ocaml-dev_0.87.3-2ubuntu4_arm64.deb 48e196021fc52719dc36430b07efeb0e6bd6990a86f4d6bfe16df5e554eda6b6 509360 why3-coq-dbgsym_0.87.3-2ubuntu4_arm64.ddeb c6becdeaa68afaa2df63a956e5eb145e2155e524ee40e2a37d269d3d9af52062 5718056 why3-coq_0.87.3-2ubuntu4_arm64.deb 5253a766c604d4c9d7ebcb8de53ed1bbe60451e23672da55dd94f15c775868bf 4758312 why3-dbgsym_0.87.3-2ubuntu4_arm64.ddeb dd2ed4ec53521022387a6e173f82d9e842fb9ee1cba5dfc94f1741f4e255e02b 12880 why3_0.87.3-2ubuntu4_arm64.buildinfo f0695861f348cf30e08dd02024f362cf734924423a8a380e867d82ede4764586 27366508 why3_0.87.3-2ubuntu4_arm64.deb Files: d3bc41462c37b1e8caf0c4029a8d5204 5021596 ocaml optional libwhy3-ocaml-dev_0.87.3-2ubuntu4_arm64.deb 839ceb1297456c69b59e43bfd019044c 509360 debug optional why3-coq-dbgsym_0.87.3-2ubuntu4_arm64.ddeb 42a06e971207e9a104cb0dcbe6db0393 5718056 math optional why3-coq_0.87.3-2ubuntu4_arm64.deb 5227d782523bc55ee4f5cb479e90eecd 4758312 debug optional why3-dbgsym_0.87.3-2ubuntu4_arm64.ddeb 2d6c41803fa505609809d85b2b0a9cbe 12880 math optional why3_0.87.3-2ubuntu4_arm64.buildinfo c68be05c6321b2b3e19a648c67d727e1 27366508 math optional why3_0.87.3-2ubuntu4_arm64.deb Original-Maintainer: Debian OCaml Maintainers