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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20240715+ds-1build9
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
 e4594283043ee23a3e00a9ca4e0b36d3e3a6c7c9 2444 coq-menhirlib_20240715+ds-1build9.debian.tar.xz
Checksums-Sha256:
 132fdb31ed6051a0e7d8fff6432f9d5e1ba38c88a55c9aed0e8d4ff142e3a716 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 480df3fde40cc3a5ca3e34614ef4ece41bd0de697c066079383cd7d225877ef1 2444 coq-menhirlib_20240715+ds-1build9.debian.tar.xz
Files:
 8c093ba47caeffb5c00e22c8418e6edc 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 0139ce83f618525baf4fdd295548303c 2444 coq-menhirlib_20240715+ds-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOYcMACgkQ808JdE6f
XdkDBBAA0A/XFpQMk2jCX5tuQKhcydw3cTdfbL72hbpCm3yFUkTSIYjeSZxfUkgL
Va6W1Be11jSrQvu39vTf1rb4mz1hu463kBjohFMI2UMpalPqARRHY3ow8bvJCOn1
4T2ZodoE3NwHkx2kcxFSpb/8Zt2sK4cEksh4ZoVv1ch15TPiqnitK4AQGeEXfbV0
9me9OuVjeBdl7RRGhVclYZaCJxmXnT+cX1er9bhBy/tTpKqlbAPjVtUu+UOawOq9
0iWB7H0NSQT0WY3vsbHzvW1X1KWDbW+ureU7DXD3fCGj1aGk/my5KeyUkLuNEWpL
qsFBaWZp5fiYTWr+c9WkIllpZk3isySHIjurxM0a6ER3dDXNEOpaF6SlIsOSh30l
JGKB88Ei5spiAoESYAXPawhwks2PV0IcFn/+3GMqiaX1MmJqUMxuUq6dLz37DgmV
HUDdMQ3TtG4e8WheGElqmBJ2OsIw/hRc1J6b57gNQZfNFROS4Ks1qtoyV6lE3i1a
u2yElp1qUvf8LIEV3CaY7SbiIsePglH7D8fqXCZhnhAxtk5TNCL//qSnWeYisWVv
MN4jXgOwduM2RzuRnQ6rs2oge0CGZjlWQCXB4/xWuIWMXBd+9OaHY9Yx7sWk4SVR
3tTbwptBCAbn+njnUmwmhOmTLINRBLMcM6Jy50sdqNVdD+deidg=
=qkM/
-----END PGP SIGNATURE-----