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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20220210+ds-2
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-ocaml-dev
Package-List:
 libcoq-menhirlib deb ocaml optional arch=any
Checksums-Sha1:
 9f14a8f3d6fe60f445b98312249fc6a415d55cf6 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 e845bb6928923d5c50b0ed33e2d0a1ed57f87732 1660 coq-menhirlib_20220210+ds-2.debian.tar.xz
Checksums-Sha256:
 8a8916c99b2c033bb0848db6beaed5db78e67f308bd704e7f498f1861a9c77b1 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 06bb8d439d7f94e8ab2c88357801792b70cf49cad141cf76af1ad47dd0270f17 1660 coq-menhirlib_20220210+ds-2.debian.tar.xz
Files:
 f8a31f9808fa3fe75b9d3f25cb7f3c14 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 7a4ab4cc9b4facfcbc1ef94ba59a2bd2 1660 coq-menhirlib_20220210+ds-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRuRcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRAWsQAIp4+S0qy4zEV9gnDVB8Hay/zKXDJU0k
uTf6160oBFiSZmRfswzoMs6YAqWHGCcmtK5W8u9hjqFBBED+JFmhfXYFJzV0gSmX
tECGTKD8cSPJzVL8ykvO8O0t41wnCsiHT3GSUFI3RbQUnEFSBb4Wu3GWKncvqS2u
R5BV+zynkKJZBJq3twvY50xxAecuPf0stRf8jbQESlN37kXQ/MxcoCP+v8cOugOq
pwI5FlgUCqMptZQMDH9FhUrR+Vf+AgISpmrXDECo0E1skM84AjhcnI74ylUqdbTd
3I5Pcn57zhsnygednvrSQ1y3798OPVFDeLReB5Leck1QmBybAMLaAOFPNLWWUhsz
x5ByDF0rR1WkIiVy/rL9TON2wyRe7G8VXTH08Gw//U4sT9AAIRixr20d82+wRcX3
YSWqPUOQraULVk6oScr2vUcYi7jUqQOzGoZzSoqearl5wW46XXL48dESqDzlIinI
aMOMvXwrfXgNV/+FmEv7lZS40gIFJaPo8pKLrGUmsGfgqJOKlw8KLmRs6MttG8Ko
qOX0oYTafbCUwOM/B9uXJz+yNJsnmVQEB9Z2rJd0DRPrnq7l+3mKSOcsxHmhgNrL
E8YI9krPZj3mEuClSNSGY4Ai1sr4wiuPjnVPyaixKgCvCK8Mz8CZZ95/XJnjaeb6
BjAAy9Lu+4mi
=HWKR
-----END PGP SIGNATURE-----