-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20220210+ds-4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-menhirlib
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-menhirlib.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-menhirlib deb ocaml optional arch=any
Checksums-Sha1:
 9f14a8f3d6fe60f445b98312249fc6a415d55cf6 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 0b97d58019223bf77296d5c67f1f4f2b0fa48c97 1756 coq-menhirlib_20220210+ds-4.debian.tar.xz
Checksums-Sha256:
 8a8916c99b2c033bb0848db6beaed5db78e67f308bd704e7f498f1861a9c77b1 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 a02b65737b30e5ea82fdf17db5f086ec4a52137b36d8cd9c3140c7c17431a56a 1756 coq-menhirlib_20220210+ds-4.debian.tar.xz
Files:
 f8a31f9808fa3fe75b9d3f25cb7f3c14 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 200fec8283bec1c2fa2dd874d2a0bdb5 1756 coq-menhirlib_20220210+ds-4.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ2A4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRK4QQAI+kdlUxpV1BulcOV7E0LXH5CAQQwK1x
6LFURP3K3/TkiydI1VtaqmUiG9bTZIS7bZm4jnqRg8diCZP3/zpo1wHbsE0manNl
vy1hGbtBmqDv48K6VixnzeTZKn1yetfYgEfrfVkY6gNaTrGoxQP2wA3JQBML0y+q
yS1GOBnelhPC1GTnSOzpRJ3q6OBso1CDAoQX/VpxJPjz8i2YDvLx2XdQb2VO/pcD
Onc88w0sIQIzVzSYeXiXIUWAFS31AJiOFzf4/js6B51d5jItGeJjvVgK3kIaMsSS
2Lej9lRVgGFVudZp4NWD9mGNkNmDfw35Py1naQBdR4XE8yBjvUHZfHAV0mUMy/Mm
/gW28+aSUqpQ1EkXIpnFYvk8dwzkAV0Ndwm/rguVnyJHsHMzauNd+B1RMCYYOCYc
i3zprPO3460FDcSCnn+YVkN1XIo651cY0dvUKVJrppvwJ/DvinBJKnHrFDAzW8Jr
8Dz6geXXn9KFjD3X2yCJV7ryhP0F1BtHTsTu3G4H9sau0h7pFjRwuZNVZVh7UqBP
VlWIWY3O/1SlskruUVKkQE3YJ6H3C0RRY+SDr6f5Z1Tk7G93ltU2hR+ZBiYDIjOu
LaQTIZQ/XJZ5JFGVtsKcYi2aZdcUPq2Tce3mSY7mldI7qpV7vO+P7FC5Q51oFMqL
E2kKTKi9es5/
=vpuQ
-----END PGP SIGNATURE-----