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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20260209+ds-2build3
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
 e6202cfe1acbb5cd3c8fbe9be25b1aaf592f9cb1 2328 coq-menhirlib_20260209+ds-2build3.debian.tar.xz
Checksums-Sha256:
 85653ae55c8d4406c501caccfb234c13f4c8481211e0bc26ed75fe8261725c70 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 fe6ccf2173449d2c1d8196230e2c0be33423f2eea1a191dad439a4b3204f490b 2328 coq-menhirlib_20260209+ds-2build3.debian.tar.xz
Files:
 8bbf539834139947215adf64c72b4b59 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 fac4f3c9e57af27dfb7602cef0d74531 2328 coq-menhirlib_20260209+ds-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiVQkACgkQ808JdE6f
XdkkQw//QwKcntUx+YcqHxCg3put4A/84YodT4ncPVvXObumVrn4R1vbTkCrplZp
L3rRLphP6aKZQvK+zzVUR8dzi42vu6ty1ol3cl3piNaZm6gcLKfhwdcWSCOw04fk
QhfaFafCjAPsbRJakNnPacDTzhbHByW04tKLPgwwqSeu0zI1p8GW3OvKzvDHLoOX
ZhC8EOMYRHClCGtyxXxdXyBit/LDRRVvdYQ0/Or4RG/G1g/pNIzPHGWnR03C13b+
cdeG9tmQBQ7HuQPegYj2eYcxTbNruyh1itnTEQFcrBbbHhYwF+ih5xAELiQubksM
D503qkkBnT1HbZ7lnTPnie60u1mHSlwZKcS9LEyyw/zVaXV1LRxPkCNZyJ3RMkTO
AXSx/0IKORxTnmTfd+cWA+nx7HYvIiazxeupTA6sXNvxBGQejEt7ZyE4K/BZBw+U
eORWfHwGZo19HAMmMAuclI4usgQxCUeQbXS2GGOntqLv+N8JSq9icAL5RxHFrSnh
sBzzOD6X57a2Pkgr6aM8P0QILMteSTiK9ZiVZ8uVMyHuPvuY9yK6XkUupTL/MHnx
JlNcLQFuzhj82DvybHI+b+AvjK/eIedOj6Oo7mIPabxkjUchDhKiZodNvRGpVCB/
8Hp46kUYu27Ny80qtHyutqDCiSEwY7HO8KIgkgzXRdIPJWuCC7s=
=HzcL
-----END PGP SIGNATURE-----