Format: 1.8 Date: Sat, 02 Nov 2019 11:51:19 +0100 Source: menhir Binary: libmenhir-coq libmenhir-ocaml-dev menhir Architecture: armhf Version: 20190924-1 Distribution: focal-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Ralf Treinen 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 (20190924-1) unstable; urgency=medium . * New upstream version * Set Multi-Arch:foreign for the menhir-doc package * Standards-Version: 4.4.1 (no change) Checksums-Sha1: 1c5e0673a448b4c4ff466a2231a6c44e2ba1f810 1351948 libmenhir-coq_20190924-1_armhf.deb fc1676c0145bbeb117e1238f9c4a488c9876b740 15632 libmenhir-ocaml-dev-dbgsym_20190924-1_armhf.ddeb 0751c684fd3ae2cdd5262a530bf6758374a09a76 201316 libmenhir-ocaml-dev_20190924-1_armhf.deb 05b6a6bf8db876ce8cdfed55c04b87cf8dec1989 185928 menhir-dbgsym_20190924-1_armhf.ddeb 4e96c75435654c26ba272929388de6d6c6b73952 6702 menhir_20190924-1_armhf.buildinfo 3a98468f923ae68c1daed5f8c1501c81ce9adb97 601704 menhir_20190924-1_armhf.deb Checksums-Sha256: 492c6d14492866d5f352276f889f3ef13ab37c535788cf5a0df954860ce0b3b1 1351948 libmenhir-coq_20190924-1_armhf.deb 415df9c0ce45549f97ec38046cf9f5ac5134ef8f71af78b277b0ad5580a0b18b 15632 libmenhir-ocaml-dev-dbgsym_20190924-1_armhf.ddeb 378ece05dc650314dc8e3aa19d2f52d2913b18b8755ed4a9e292e50a082d0128 201316 libmenhir-ocaml-dev_20190924-1_armhf.deb 1827f6763e752cf07837a6005d61e2450ccc7fd5bfab2218114bad60593150b1 185928 menhir-dbgsym_20190924-1_armhf.ddeb f98bdd7d9606e5edc4a20c429b81c755de2c6b7c2a098f4e339d6ec65c962d0a 6702 menhir_20190924-1_armhf.buildinfo 6410e4612a226340f4deb07f6225c7ac84fd29a66d6b7c3216278c28c291b513 601704 menhir_20190924-1_armhf.deb Files: dd69ec92555cb639bce101b5cf34f5b8 1351948 ocaml optional libmenhir-coq_20190924-1_armhf.deb 196438b42e0541dc51b09d368c4bd5c0 15632 debug optional libmenhir-ocaml-dev-dbgsym_20190924-1_armhf.ddeb 81d0a3a24076122595b0899c61d7504a 201316 ocaml optional libmenhir-ocaml-dev_20190924-1_armhf.deb 117eed06fb2dfe08ae9edee47fc72c3a 185928 debug optional menhir-dbgsym_20190924-1_armhf.ddeb bbb34750f80f9055b2d24b7b7f83474a 6702 ocaml optional menhir_20190924-1_armhf.buildinfo 3b03f5fdf1aca494821541cd6ba9d8b4 601704 ocaml optional menhir_20190924-1_armhf.deb