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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20220210+ds-5
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:
 9f14a8f3d6fe60f445b98312249fc6a415d55cf6 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 d0415378fbae82cfe185b0e58b1549a6136278d1 1780 coq-menhirlib_20220210+ds-5.debian.tar.xz
Checksums-Sha256:
 8a8916c99b2c033bb0848db6beaed5db78e67f308bd704e7f498f1861a9c77b1 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 375ab9812dc9633251cc71cf886524cfe7274470eacf1ec4f9c54ed24633c29c 1780 coq-menhirlib_20220210+ds-5.debian.tar.xz
Files:
 f8a31f9808fa3fe75b9d3f25cb7f3c14 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 74dc0ce82897bd48560828b4b825738a 1780 coq-menhirlib_20220210+ds-5.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVrISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVREYAQAKfogALdY6+c3pKJ+huJ308W923Xaj7V
JLNDxHoOVvHsg5IYxIywuTWhFHcb2WbRUcgD0D87OSxJdY7mdfsbPPoF5XAQfpdN
cS13Bq7vuUSv5Fe7kZaIY+3Ez711FVVEENvabbavMpxtB9KHlmeK5b5cEqwmlGfS
+FRgnAJpzgHpAWjbN4IwiS35x4zlTLw1N15pCWkWptexTN2wZixZqk/tslq2MP+T
gQb6wnkKnUC9p3qGmwvq5KOEaG1wrrsOb4xB9X867jgcAr6rphr7AtOtCN5nzBM6
Rrff/J/lg8GPIvUMhoY5YfTDoAvvmY3DW9v6lftasW+2Q2pRC+eMjDtQU7BhqeHw
XqajyD6Pr3kvmHgFILUdI0iosJvCDLoxIvgw5zB4VDW0iabUVoRKZmINrxDzKMBD
JU1ER8fP6cPfrHo+JTG8n/MrU/0i28oTrNwa/eQqSrlfOxYJq2+hE87Bh1kHddF8
ydH2DT3ItZFzJ4zwYP3s9se7lBJ4I/xJhYWgCbiojHJEHXP7jR3P7C76DQh1N38c
M5NWziebyZnLZuC0ul2/0B5oaNOr1rC/KnWrjhHS8yxQZnoW9+aJtPzpSCwOcMmc
N/wOVikNhRCyEyTLIqXzIKUD44mN8LyRNREpqUhmrYJU7bePnq1K77SW437NuKa9
BXH2cYjbnp+z
=5mLX
-----END PGP SIGNATURE-----