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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20240715+ds-1build8
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
 64a656cc07825f650f15a91d0875287ba99e9ced 2420 coq-menhirlib_20240715+ds-1build8.debian.tar.xz
Checksums-Sha256:
 132fdb31ed6051a0e7d8fff6432f9d5e1ba38c88a55c9aed0e8d4ff142e3a716 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 ca230e464459dd86f0282b66da86629c78760e398f010a1ffb4de91236f78d7d 2420 coq-menhirlib_20240715+ds-1build8.debian.tar.xz
Files:
 8c093ba47caeffb5c00e22c8418e6edc 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 189cd4d12fd608fd2260ee50ade2d676 2420 coq-menhirlib_20240715+ds-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmnOAIACgkQWWH9vpxh
mAkwdQ//d7usE5VNOrkthWKf2uAIGhZrk09pUROFgjDpsStnDhKpd+nhG3RA9bY/
gfeX4I/+mJIxFRh8muStdy0pA+VWvP++IeviyxWo5KlajVgJCsSBj2+JnN9C7z/+
QRSD3Olfg/M0pAkPlY6/Rp7JRN48HpflGhAqeSuu0J8ILUHMIrcCnZlH+iz1odcV
zCePrnuNR+RmALLrU2T8dZMz6IZp2+5vznJq3xIcsyoPImfRgzTot2gFCKtC/fVb
sI+vAIhaq0S5xw+lccObBAkVs/eklcm6NGy6mbVC+N0gp/4mnI+RQc31qtnnhq/E
VuobJZTPC3zz9FfVLdqorg6B09GUSL83SklGUR3WIy36K+sNdkLb6q01TkHyrTQd
G++Ng4JuuDCbSUQFucH+q1tGFHk7eI3hV2zTavS9q8Ga2alKm7f+GlxMCwzJK8u/
mOk1cj5XGQU5l2gSs1OuyKf2+ihwJCT45l+Wir12b6sOjkA+p/8gMqRjE16cqnrY
n7LR2VzXDKJwjbp9opCwwXIFo6FWHl9nHZr5+iLOwe8frLp7YH0y0geF2eQ7vjAE
Ul587OL7gMshjRn1Ygm2JT+IcmQm78REBwNI6MmQc7Mr3B/bHz6RAjO7argpGnVF
FtlwZDsevyCm8EGb3/MLYMiN39DDqG7Pv0iIZBSGomkgQx1sfHo=
=wrmi
-----END PGP SIGNATURE-----