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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20240715+ds-1build2
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
 4571f58e4512a17c2bd491224899fb12eb50b198 2208 coq-menhirlib_20240715+ds-1build2.debian.tar.xz
Checksums-Sha256:
 132fdb31ed6051a0e7d8fff6432f9d5e1ba38c88a55c9aed0e8d4ff142e3a716 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 6528e3174ee9ada0a777f846dd79291e280108e0bf17a9e0aa60072401d2d1f2 2208 coq-menhirlib_20240715+ds-1build2.debian.tar.xz
Files:
 8c093ba47caeffb5c00e22c8418e6edc 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 65806908aed6620c6ed237d3e71c4ef5 2208 coq-menhirlib_20240715+ds-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeexyIACgkQ5mx3Wuv+
bH1uKBAAt6BK/MkE/09TD0jyNlTkZ/MiwQ3JWfxbRAA/+ICaTxk9MmJmQYZotl+w
Zk+WdRSBMMU3+sNyaa631unh1PMIIBqSAq5GKy8Vp4j1gt7bpQ4XIzqGWGCe3Z6y
CqoUpLgUKgasasqf4ca+yw8Lm4bDgHfA+ohciB+yiSccj2msGyZRcyvWrTvmW6GC
IMB1q7LADKV2Xfmuj96jc4bNpKMcE5o+2DbjQMjIBVJGmX4LDNODxdoJJRv0IYet
b4fw8aFn/N5NRaM4JvgYHETMqej9thX4bfYbYARdGz1hJFZNDlqXLURzKR4cuLn4
NtP2xXYHas0AYnmQhZeh6z20klDSoB5mOdrbr17xW1edhHp8aoZcDDT5iusIecfZ
5AP7Y9Su7FKlgPfWboKfXGLRN3zKdxltD2eMHAKHPQdfBwtfiHuyI1PRb1fQMHAk
lez8BI6J/hgASe5ReXDTR82rnOnzAbnyv3tArVBjkPfKHPzUpIrMI5R33s8GSqNL
v4Nkswaqx9W9KNV5FSiEmUG7s7/DGEmo/UZ5YLVgq8wAXdKgAD7RX7ml+uVR0dQZ
zv+R2MSjzRFfMW0gtfSNHttNPd7fGcJSrILFePRr2vA2AJYoqvGhUkar3xPBE6vU
7noaWZhmLtk7fKCj3JjHFxISp21dzd7Kk+g6+l6ooqmfC6I9j7Q=
=rxkM
-----END PGP SIGNATURE-----