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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20240715+ds-1build4
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
 4a420d4b2c214f101181b2e95d4ede49770e381c 2312 coq-menhirlib_20240715+ds-1build4.debian.tar.xz
Checksums-Sha256:
 132fdb31ed6051a0e7d8fff6432f9d5e1ba38c88a55c9aed0e8d4ff142e3a716 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 28076372572a73016c6dc7564cfc09b0c33433ee4c602cbea5b426c44b6a4c6d 2312 coq-menhirlib_20240715+ds-1build4.debian.tar.xz
Files:
 8c093ba47caeffb5c00e22c8418e6edc 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 05d2aca6c836bcb7654b2102ff5e9a16 2312 coq-menhirlib_20240715+ds-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme058AACgkQLIPbyOm9
Djc6gxAAk+mclaDS7AVWpgMsuWXIjBjiI18uOuK4dDaaVRAekWwemUb3oUa+SMGA
fFghagwo1MVjayeottjg10l1JRVJpdgcjq+LTR976FpNUSo04Nrr1T/SsVFEkHZ1
dfXuCD2y+Op+Ew00BeSaoBEF0v3SvmcCMHNoQKdeehjEc1bBnYAVXVbLIM6qnSXI
g8sXUAiXldyEL7AQ88TfSxM477TTBfJNoFA0qrNcafxutoLT1N3emDYMCTugv/Iv
OoLth5hDdZB4ScrrMJQInbFkJvB4SPGC2GPYSdnOHyP/bmF127CDhaxNqXIF/bbK
LtW0xABJMjpaMLe8XPCK0C/5M8XkrLErYsNt/N/otrYCtyyJtpqle5JwPFxHyltD
ZV0ObLgKI5uEWKzSSOKIGnb9u+FLXGlAjcWoTbVMQ6NVgBmdt4yIEzhKELFz3is+
zGPHN7IeS74Rxoed5m4/TEIV32LUHurFeAOuvTxlhgf6Iogx8uP3kUjqUQBqeS0A
46V1SCoDtd21E+BE4/jrkjmDyrhpOarNiQNYCofHyg3fn+EMdBWfU/q8xN1nAPHU
MiHpH5GN/t/mgzZjv4f4EhZ7UcMcguOLUU1syswwBVpO+7u3OvAKpGZCeWJVdHBZ
3zzA1wGRufvpVkbnpn3pIrn4KpdvgJg3LsXYiC0Au5lNDFJEyd8=
=Zus5
-----END PGP SIGNATURE-----