Accepted menhir 20190626-6 (source) into unstable
-----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-----