-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20231231+ds-3build2
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
 95653b0bdfa433eb70539543a68874c4db5d9ee1 2080 coq-menhirlib_20231231+ds-3build2.debian.tar.xz
Checksums-Sha256:
 261077a28a9c2e5160ccf5b48e892f98c42b273022506d58c9f9f3dab181ea28 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 ff8915379a6c07ccdccd237c2b3a2332b6890f02fa9e0f62ad9ebc3a4172b033 2080 coq-menhirlib_20231231+ds-3build2.debian.tar.xz
Files:
 3bbfcbb365fc19dbf12107723ff7ca17 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 8c9d277e1074fc428b8a4472d6958b81 2080 coq-menhirlib_20231231+ds-3build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWe8ACgkQ808JdE6f
XdlSNg//YEOveTIa7MKxEFStg4VQJOaPav8Rv6q/HrzSmcq+5Wvw5hKJ5lu4KGU+
193sO/Xwt/zahZtfySNoME9Llk/6S0CwQ7xEK4+L+33AzJk5RFf8NFRHZxMnMKHx
GtAYpRwR6yrT4VeJ83iQkv9PMNgRGUI1nehH1+WlGDdKCK9Ox60RxtJ8+UMoOh42
kMwlL0DBF7tMf7hAceobq3briD62pnxy3PLkwj8W/vDMnfPiQUPwg+n6xN4ltHxP
E9AIT2OGNz9S0ls2bQscGSfVDKaUd6ucqIqzIL6Aju7OliyiTkfsxj+SouCJratv
LJuq01CU5hDRsJ+AlyXPrKtYkjj0vXxXjkuTTeBf4ZtohE9ZvxHG0lriJCn1Cwzo
zQo9+MkxJcNmnv7SXhwNinYZ25MwMa1lAfEZZvRFusGHe7r1hyrKrHEDX0OmLJ0B
qNbi+ZgmZyk35cBZSvGnD5DkE5NsNQy9tKMXRF7JFoyfuUeIBIb0sGSIAFVDQWMq
T0VZfdTzB8fgRe9nK+0IrjNyOYJ/mcEyFA9mw3u4KxeS7EfRYz2j9T+rRgljRUHj
PsRYdKQDkbsNL/rWlqUoz9MUZxURtVGVe7drfwQBH2oyarF3Y2I/VWB18MaEEW5N
b7z/z9pRT8BHtfvDRAKMIknufONBTEiHo1ZONgPuAqIEEVXWRbs=
=MmAj
-----END PGP SIGNATURE-----