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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20240715+ds-1
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.2
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:
 b940a176cb2bbe1feee6a4839a5638e1c5ddb480 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 231a26dbbaabf579a02f7830ec669f4884904f95 2128 coq-menhirlib_20240715+ds-1.debian.tar.xz
Checksums-Sha256:
 132fdb31ed6051a0e7d8fff6432f9d5e1ba38c88a55c9aed0e8d4ff142e3a716 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 897271ab836ce99f79592604828c02f0498f59712e3c979bb420b1736ebbd3cc 2128 coq-menhirlib_20240715+ds-1.debian.tar.xz
Files:
 8c093ba47caeffb5c00e22c8418e6edc 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 0dad72bbc2155c591537aa0afc8db311 2128 coq-menhirlib_20240715+ds-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sDMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRo7QP/3xnB3NTNkP8H51OU4pZ9yj+ihWIDBU/
6x7hy91ZS6Hf0y7yaj9t/lcyR0iDepzKTNxunMzgVEeSAESg7Fiyqv7rGJ790H33
5xaYQwgT7A0TQGzj4MzbVOzlV/WM8MONoi25Qwec2S2WURv2DrkkFRlnpw37RMU2
PsD6SU6yh0RXmKxZuUjEOFnICbEoxPYvpq8v52MiAi/OV4qVzZjJ3ftMuNqPWg6T
CsABtZk24FqQyjnrKwgIQL1b/Gb/bcPQ22uU2J+YxPo5EsTotLncHALbGmVJlBmw
4iTwyy+gJTVG7BYppjthBfNj8yiQC5c5+oWlBBUduBBYUqBQgai5bQgH5DDT84gO
JOiP54jaWrlY+9XoLXoBDhmszs5inFOS9pHixHQPB9xX9lyVeY69hfxMQZ2qrvo2
j1sQ64QRkmV5ECAW/anbqAREQ8ji8KmQfCxUxaFYeHwlI+wv2XhsuhT6X2sLkuit
O4+jLbonm9BOvGGXOFuAPoND976efMsNl0WyPFzzebnMsn1U4awHLvTLlnVrfG6T
CQGIPiwCp5B32GBvPtMWzF9RdEO9iut4RI2z5pZtmAmTgmgtzUe8tSdz1mA/qtUd
FD7kT1J9Ph9qjZfSGPfIJ9TABKk+a13QirCJNdIunPHsbg61NiABqnCyy82xQWdr
IBKP7FHYMASa
=QXKp
-----END PGP SIGNATURE-----