-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 27 Aug 2019 15:43:33 +0200 Source: menhir Architecture: source Version: 20190626-6 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Closes: 935873 Changes: menhir (20190626-6) unstable; urgency=medium . * Team upload * libmenhir-coq: add dependency to Coq ABI (Closes: #935873) Checksums-Sha1: 4c79a29158cc6dfc42577c237b8c32b851ee6c85 2050 menhir_20190626-6.dsc 4b69cf7c3d0ae02413086e36e891ac265aec5661 16308 menhir_20190626-6.debian.tar.xz Checksums-Sha256: 98e2919ac8680d78138a5dfce5ae2ab0495485eaf6eb68b6f77fbc4e114dce96 2050 menhir_20190626-6.dsc f7d14f637c70739615fffdf5b8797ac25003d2fdd2999ca720d1a8ea6c7de1b2 16308 menhir_20190626-6.debian.tar.xz Files: a5ff39799fb68c0e1888a738a7a27879 2050 ocaml optional menhir_20190626-6.dsc 595b0be434b9e15ef9949f28823716d2 16308 ocaml optional menhir_20190626-6.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl1lNCkACgkQIbju8bGJ MIGRDwf/QiGHNaBb71RQ7bZ6o7NIr26jBT13IiZGPz5wxJ+fClf6sIzv6lziWqEo MMNvxLoqDbyiyiSGX048CMJ7x3oeFM/7bJ9M44V0TchuWvjc0tHSwc1DLuPfV+cn cInc2Bda5VjaUC96ch/LGjEoV5+nzT2OCkVgEqcCbKAPgCwEWgc7jNrgLTYaMesp 2uBeXi8fBB6++dgiQQdejpyfAb0Fh5awKef4L1LC+i5zgtsfCouCRb3cBpobMXJd sAqhzW+Fb9DXJeDrt0TGKLPN7FdrRemOgtZVumtpMQxp5wNN06nJqvyLw8raMGxG Mj4LhiFySnE2mYFEOa5TjRL2ExHczQ== =IIrR -----END PGP SIGNATURE-----