Accepted menhir 20190626-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 24 Jul 2019 20:26:11 -0300
Source: menhir
Architecture: source
Version: 20190626-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
menhir (20190626-2) unstable; urgency=medium
.
* Upload to unstable.
Checksums-Sha1:
f33e073f4ccacdbc0470b081d79b7df9b8d96f26 2350 menhir_20190626-2.dsc
16f905b5fcd2f8792ec7507d4c6723873cb01cfe 16812 menhir_20190626-2.debian.tar.xz
3a6dbfceaa64512032810004d9b661369a886cc6 6550 menhir_20190626-2_source.buildinfo
Checksums-Sha256:
401fdd33787ac29de71b250fc837b260d038c3ff98f83c4ee57f89c6b414a2ca 2350 menhir_20190626-2.dsc
8a39f40be63a7cbe6f91624d8cd5a97e52796042de6c4285164eec329191c54d 16812 menhir_20190626-2.debian.tar.xz
e08ba6770cb1852edaccb43ec05556d96244c91a046a54841bf8a0a8db9f1217 6550 menhir_20190626-2_source.buildinfo
Files:
92ad995866af0ef1063bddaa4c0414b5 2350 ocaml optional menhir_20190626-2.dsc
6aae1fbccb3e6a2acde2d7a3c6bce857 16812 ocaml optional menhir_20190626-2.debian.tar.xz
8993a95b6bc44538e6d10173dad1f937 6550 ocaml optional menhir_20190626-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJHBAEBCAAxFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl047bITHHRyZWluZW5A
ZGViaWFuLm9yZwAKCRB0XEdm1MrN/4qoD/oDj0pQ1+wToZmtQmA6rwh/IYelwR5l
fnbG0NgX+JhIHCqLwnuCR1AZW3UK2XUvEztYqQmuroXsLJKi/2CqWp782KaNAQD4
jgA7O+n7ghNMjzWRI+0EAb2vUiiTNuiE+zoAxBOTyG1IA3eGGzF7hfPFkxaNCrSd
LgaYeYrFmv/7seO9tv6MwOljg8gEVg4+iAdntWnW8LzZm1uLx86woXVQLP3cnxeK
HPWFdnDMprvTmGZzHxzk+6BWjBubWJJnwGpvG7TpJcRgwZ5NmkzlhBupyKFpvnMB
EKBVCSod9TMVykY6QcnClaDRsApLroqg3h9h+Vx9NF8EDCJgefduvNu0OiyNGbTp
GwqtHV6NWnRwsKCArbZd7HqLrk9eCWR8jR1lLNBmnOQWQ9Q/e4SDpNF6nzE/kj0w
tmJiJEPaTv6wfHKjk73jULslJFpKkl9K4Zm2iaqldkak/saoS3IXlopnFXQVVzlB
Fo1jz0zCWPXFAuhY46P/N3vu/OhXsjFEzn7SmfikAZWL6PgEC0xC07sMbx/4x5Nm
bfeagwoeMJeysBdamDU0tJvNvDgbeQqjVt88yVoRBkgpL1x5jPsmVjeOcVcJUJgW
CCc264eg9RwIpuyTGMEFSOM//7lNd0+H/aOnKvGjASjLmO7rQ9gf5zMbwuOqKAfO
AzeGXzFrjBON5w==
=/K0d
-----END PGP SIGNATURE-----