Format: 1.8
Date: Thu, 22 Aug 2019 12:01:26 +0200
Source: menhir
Binary: libmenhir-coq libmenhir-ocaml-dev menhir
Architecture: arm64
Version: 20190626-5ubuntu1
Distribution: eoan-proposed
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-025.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libmenhir-coq - Support library for verified Coq parsers produced by Menhir
 libmenhir-ocaml-dev - Menhir library for OCaml
 menhir     - Parser generator for OCaml
Changes:
 menhir (20190626-5ubuntu1) eoan; urgency=low
 .
   * Merge from Debian unstable.  Remaining changes:
     - Fix build error due to exported V=1 function in launchpad
       buildd configuration (patch accepted upstream)
Checksums-Sha1:
 beb143bb14b2d0dcb3285d86d1d4b4baa4abdbb6 1352516 libmenhir-coq_20190626-5ubuntu1_arm64.deb
 5ee2de1f78bb2533defaf4d03f13fb332880f2b1 14992 libmenhir-ocaml-dev-dbgsym_20190626-5ubuntu1_arm64.ddeb
 d7a7442e5fc6362bcd58f480d723d6d9e5f3f521 207856 libmenhir-ocaml-dev_20190626-5ubuntu1_arm64.deb
 2bcaf4a56d95fa79e6be48d88030ce4d4b084337 209072 menhir-dbgsym_20190626-5ubuntu1_arm64.ddeb
 f142525ee4f91481dc1f4c97eb3c4db9d7a77d23 6975 menhir_20190626-5ubuntu1_arm64.buildinfo
 b47558029fa075d366c2d040536b3358826537b7 706112 menhir_20190626-5ubuntu1_arm64.deb
Checksums-Sha256:
 b5dfde44089e0bf655b5f96fe15874e46f8b15fa0cef006d51930dba0c623658 1352516 libmenhir-coq_20190626-5ubuntu1_arm64.deb
 857e9c03282317eb56a8aebb84ac85f94c6300565dfaa02abb024019bb8c6f53 14992 libmenhir-ocaml-dev-dbgsym_20190626-5ubuntu1_arm64.ddeb
 12ecb4ea66dc8c1c9cda6e36bd06f3fb0e8c063a26f6dbd854548ff6ca7b5aac 207856 libmenhir-ocaml-dev_20190626-5ubuntu1_arm64.deb
 9c56ca9afdacb89cb090f6d2af842d0a579190d343e53f2be7b0c491544a34f4 209072 menhir-dbgsym_20190626-5ubuntu1_arm64.ddeb
 38ddcfe90ae2e358214fc31f8702ff8aea91fd973e7f24401ffedfa560c07953 6975 menhir_20190626-5ubuntu1_arm64.buildinfo
 d535eff4555841e97134c9ff6c71a4a487ed2d50b3d20b02f8d4750b2efde068 706112 menhir_20190626-5ubuntu1_arm64.deb
Files:
 e3c46ba082ff1f9bb6d3485d6a0ccddb 1352516 ocaml optional libmenhir-coq_20190626-5ubuntu1_arm64.deb
 4f48679f580db71e8b9c443a54f3f8ff 14992 debug optional libmenhir-ocaml-dev-dbgsym_20190626-5ubuntu1_arm64.ddeb
 af5b9a086d3ca9a3bc3e7b4926f5abd6 207856 ocaml optional libmenhir-ocaml-dev_20190626-5ubuntu1_arm64.deb
 1551b5810163ade44ecdede949ec4027 209072 debug optional menhir-dbgsym_20190626-5ubuntu1_arm64.ddeb
 35b7e574579e4f4540446507f3e2c8c8 6975 ocaml optional menhir_20190626-5ubuntu1_arm64.buildinfo
 bd61a87c0cb30c771ed0d4c66d8b8ea8 706112 ocaml optional menhir_20190626-5ubuntu1_arm64.deb