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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20231231+ds-4build3
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:
 fd21c6627e4a903759881b29da00ed32ea5d27e5 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 b91c0072281303a9577c6881e1af23c1138a70d9 2240 coq-menhirlib_20231231+ds-4build3.debian.tar.xz
Checksums-Sha256:
 261077a28a9c2e5160ccf5b48e892f98c42b273022506d58c9f9f3dab181ea28 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 ce7699618b69dc0550902488f76ebd466a0150c54f87a2cda0082c0d0b5d12d0 2240 coq-menhirlib_20231231+ds-4build3.debian.tar.xz
Files:
 3bbfcbb365fc19dbf12107723ff7ca17 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 83f745a45f682b0efc128fb061bf9132 2240 coq-menhirlib_20231231+ds-4build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbcZJcACgkQLIPbyOm9
DjcNUg//R1DzGn6Duhu+g3ZKkKZk+E0UDZDFi8g5X6o/OEWrqdH2wFllpICk20B4
DAk/WZeqrKqkvH9z5UbG+FlGBgxpoQBwosdGqIQijQO9zTyc3aJrmTyEMT2CStMh
6wphfV2ECBDZzibQIPeM/hYdo2ykm1WoZSHTGE1sam1ZRYfS3WN2zP680dXxolBs
mPB/9aXkMCJWocPcUNkB3gsSjoFBAft9lZ4dewdjONyoeo/2mPCBOuG3HKazV0mb
MC/cnpeMTM/35hPX4OylzzSatB3KwFjG/7oxfCr9v0/aRpCgQZ+f8Sj/DFbhm8tT
v9bN/fTT3VK/Wi7QayICPzYowPFBMOZyjQZcJ4BP3IQF6Uh8N3FvhErLZm1Tpnh1
SrXZVlyDeKmUsDo8ka1+38vWq4GCcAStg6w6rnAIAKJSbuLPBrLPhosltMlF86bW
U2pS87w9O4nahayAni8RuKrVZe6f/NDOrPP3Actha+D9krXfn1Atb02XBE4woZZW
ki+tsq3vSXjYneO07E8RQMcOuUs9riAEPSrWzwmKad1TLePeE5vh51g4d4o4HudY
fBxLwkGr8VxTEQ6obH5S2qs2MEugWaxAb95wVZEEpPWLRp/JkDJPwIKVfU7bexgn
HrVC4U1UUd6S+AwdsaL6Hd0xYSSDjJVHGWekOXzEaHVCiX8q9BM=
=+7wN
-----END PGP SIGNATURE-----