Accepted menhir 20200123-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 02 Apr 2020 12:22:45 +0200
Source: menhir
Architecture: source
Version: 20200123-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 955494
Changes:
menhir (20200123-3) unstable; urgency=medium
.
* patch menhirLib: fix the value returned by --suggest-menhirLib
(closes: #955494)
Checksums-Sha1:
3f96cf47f75244eea566ac698c929ccc9e714836 2209 menhir_20200123-3.dsc
8eaa8789c17cf057bd636c3cf25186989f57c3c6 13188 menhir_20200123-3.debian.tar.xz
8e8014f1801a213957dee3f7a8dbcfe1c44dad5f 5621 menhir_20200123-3_source.buildinfo
Checksums-Sha256:
a74f34cceb3ead06b7ea4e76c1953caed17cf9f49871bf40c4bc4484248fab58 2209 menhir_20200123-3.dsc
1c87e9582ff81d00d9a4ba27672585d5c179dc9ce9ec9153e459b2d6f0f9a44c 13188 menhir_20200123-3.debian.tar.xz
9dfe63031e16ea444528de75ef8049cf6bcd45e37db5a46111b08044c9fb552e 5621 menhir_20200123-3_source.buildinfo
Files:
433be682fcb9db724ba19c4f674183ba 2209 ocaml optional menhir_20200123-3.dsc
3d08a5054a7538d321e7866dad979270 13188 ocaml optional menhir_20200123-3.debian.tar.xz
4dea80def035f871e6e663091af82659 5621 ocaml optional menhir_20200123-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl6J9HkACgkQdFxHZtTK
zf8Q8w//bIfm910nxPdvVj7JAaynaV681S+yvfwbP0brZ+g2VFCRs3ieEMdSqxXY
FGHxxIras8dmh2CN62AHL+QesIQGW+jsMGxaE5R74D2d6g2RQXPrWixmSK/U+Mdq
vCNWJdyJa5/IETtzdIc13BAhdD3qZO13bbP5YSpJOVzEia9UZOMcOUticCocycQx
Wnusqg9ekV8VVijqmeA4uPSZSDWggQftgcBx1oTaYd5XVqkT4Xz3Yd4XCIwaTMRN
18uDVH7R7SdIeTY0jgqued7d4QzqNv3Dizo+OvEsxip91pW3blBgHX0uoLjeoNRj
sFw8bCm5P+05VHZXNd+Z8ozP+k7WXE6NNffuB8D73In4OV19Yc0/mjrN0MVmC2XO
FpsPeffrzd/qYzHrnclWI1S4XoWKHFVqrpRJD7pzDochStv1IAFKj1ocsZhSFa5G
BReC+br5PbEFu0L6pKuFnlMVO6HqPkreKb47IeU20Hh7qeOLZMtxLZJi8f8R5H0h
Ql9726De+4wgfpINPexSby6qax34UVhzyBsSjxGK1XjWmahCFiwd8OZI5w89/2jJ
L4o7gYVOvbXy1Fc5JIUAwa5AReNhviN+uS0ShK7BQIiIE1sntvutLr4GDi9dMxQ7
z66MzzQEiflUv+JWksLL6prYYH6kyuwcSX4eD7ZelzUdd07HvOI=
=C4+6
-----END PGP SIGNATURE-----