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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20260209+ds-2build2
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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-menhirlib deb ocaml optional arch=any
Checksums-Sha1:
 c80432aa75b303b40d2da8e1ad96d7460b510264 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 8aa4dfce63431e54e9d1d27bc09b4e7a8550e4f0 2316 coq-menhirlib_20260209+ds-2build2.debian.tar.xz
Checksums-Sha256:
 85653ae55c8d4406c501caccfb234c13f4c8481211e0bc26ed75fe8261725c70 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 4beb26e881fcaa28ef41153a6b6fa3e13be2119747dce46eed64119e043450a7 2316 coq-menhirlib_20260209+ds-2build2.debian.tar.xz
Files:
 8bbf539834139947215adf64c72b4b59 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 4ea5708163113b1a7cae0e4ad75c0940 2316 coq-menhirlib_20260209+ds-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqT0P0ACgkQ808JdE6f
Xdl0rBAA12W5M94Yn6K60P8mzUWu2P2bAAuLGECyml6e+9DaWCFxCm7rBBpB+zPH
rURJUwEDfrJmW87xRHHDZDCN9EznbB/WePYEixu8oLL5OeUryKYnukaahJcwIWl9
5T4Ka/8/4KJO1L5Rg0LB0Y3aJc963AxGlOUU/VVe7+9fsUmJZjx16YmlJ+mWlliP
T/gOkckrY+A8AlzBhonISCtHMy57taeFxfNxWCfMwdUs7Zn6qccRQ5mWYGx3pq0Y
83FASM89mQgYQhZJcdza5T7yT+QdDZZ/QgSqHwH4d2ln61b1anGGrqAxiZ25M4MV
QrjqEdzTavOvFsFalw2AiTB26Q9hcXKzt+2UrjUNnCCGZQr2Qqf+Czf7yIPwmAsM
LHtbND75lwFeO9oicXMLYw4nNSBmW+hDxVF/+KeSa5vzK3EYTNpO/pMBVAo0ATsP
v4Mhp7ZqtXBcQIUAjfjKJWGfAXkOTYwNAXJaUMSDQEWF2x/ZjPWYnSO4X6ij+iE0
tbU9TnWfofxV0VMhfCks+X8Y/gXWS6/r73OrNOjlAlXXAr3xsSg+IQs2rwlgn9QR
r/b9uefwPol6TJ9PULjRnZEkOdaHOgP5D4Ss3l9W5/gxwJNxVknAsgq4/VN4NPiN
Fi5IHEPOoP9X1L3DtiABNZsSnZGQyjJu5YJBYzVRTXLkjCQXDAk=
=RVhv
-----END PGP SIGNATURE-----