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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20230608+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:
 9679d3337880b34ee7a9c010e32ee4dc62c68c3e 38088 coq-menhirlib_20230608+ds.orig.tar.xz
 47cf1e85cca25e6cdfa43c2ab8cc996281a9d783 1808 coq-menhirlib_20230608+ds-1.debian.tar.xz
Checksums-Sha256:
 0030704e098ac4639d2937d6979eff163d2a41db02d2c0cc4d023f160fce71e4 38088 coq-menhirlib_20230608+ds.orig.tar.xz
 c02db324995e76210f8502e01caebbc077603e37cae74cb8ea0b7437603263a6 1808 coq-menhirlib_20230608+ds-1.debian.tar.xz
Files:
 0c6ea41f886c2228e3fcc3e331d94a7a 38088 coq-menhirlib_20230608+ds.orig.tar.xz
 fb0bc96abd8cbec2d6794b3db6ff6102 1808 coq-menhirlib_20230608+ds-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSZKggSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRijYP/12IOEu9tXU7uQsk1YTH9GpDsZ/pdor+
Brh7XAOGdLmF1SJn/vV54kF3jTTktP39X/l+jUYwyG50kHfH1xJEvqMAZFgPGUaq
WVveQ4SC0gqiH/KgX2CNcnjwvLaMC7z9473RmRsIdt4xd0enNgq0OpLXRtm9iy+i
lMm5QndWNpZccBcuXppekp0fMbCG+bVUg5ogXdsKMwAF5FWT5Kw3SEolBACJ1FWQ
ikyuYvV45gBZ8zX8dEqsFWrlddN9YbdsciRNCn0WFsweFyldfaKtCmp4DIfYfhi8
UOWjwhtXpQlTDsQZFuF1yDM/O/6j025uRtvXY6CU4UWtvM8o4TOAuw7BVoHKfmHU
4kBhd0VfV1iUT3fpCX56IN8rBD821xchLTFdhX6id4sd5v2BxFIG6HbN7RlZjuh6
63xDTqktQMVRSF3w32uxXetJ/QsN62GCMTXRrjmXNzzclR7Zqxj9Ur95mWqqynAw
T+5b77IQTcG/o3FMTT2XZbsBuvH1Gm2VvWbA0VqU4k1HkUbJ+CJ4R8s4uU7nctKG
OurSciZXDD7Yx47mSxKvecLDQRyvrUn/FJNIo+YJcwHNX8vR2UmYAVttJJ20iPvD
4J6sPRMT0BpALfTLfPyfLDiuNp/H9GL8zFxwkv7n0HYZW6+p6xqJafDodMBoT5oV
8X3penlJLW4E
=f9hi
-----END PGP SIGNATURE-----