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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20231231+ds-3build1
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
 04e3d21fa9e93773317d04957283d0e9658d8c69 2076 coq-menhirlib_20231231+ds-3build1.debian.tar.xz
Checksums-Sha256:
 261077a28a9c2e5160ccf5b48e892f98c42b273022506d58c9f9f3dab181ea28 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 43db0f13da949107057fe49bd9a111f1fd622e1f85b639aa7bc4cd4c5f9a399e 2076 coq-menhirlib_20231231+ds-3build1.debian.tar.xz
Files:
 3bbfcbb365fc19dbf12107723ff7ca17 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 5c6f19a0135a76ed9d0842326f475495 2076 coq-menhirlib_20231231+ds-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz8xQACgkQ808JdE6f
Xdk3Ug/+L4Krj06NT0OkIEBfMVnH1lXvhyrZMoWvXucRfSva2I/CmnStixGtVbTZ
HMeBhDC7BXET30iJZFP3WNMqCcV7MxYiwLC/Ebk2QBp1LevjjWDUNJKN6TKmCcHl
02/CaKLQU3SAEAQjzUoCiLhDUisZLDo0cT8ZqalioiC6O3Rw3dhZP1m4M7OpL6ht
dErlbzFbkLgNJQbXMX42Y5ieKc7oe0i8xWaao8MSBOqkzvSo+w/CY1o4vLor3Rp9
htTFyGowxicdJWHZ3iUiJIe0cW7M5sY0KErzwq97sdWmnhzHuIF2Fv6Wm7AZVowu
L+XkO9wI0A23kO4AR9P6QnEr5tWXFm1CSVTZqHuBnPNNhOzVcoI0/9QQqc10yrU2
15407It7/8G5WNBQoGqvoX9KqwnZnHzTpnsIf3VLAzzEX7PJUrkz1JzZgScO89aS
N+tbeYXqAhyhsAM/ykd1sI77CZinbDmhjzD8ruVm7JnkWy+PzqThwcSDV49G7iSl
xC27USXsPN25UJ/cm0582fPyTmJ+b3hI3CYxnmkb6IOYHS99Mj6P8oncTKjka5Ja
VtLIah9suou1gTPn4BzC8GaciaUaYHfgHNVaewa3HoWUxGJ86r4zu8cV9Eg6kdtT
oGfto9Swyj0KugdhuIFZ2Hsy/zQ9qJ0FZ5MqnO1c7SX4FvR4ChY=
=n5vx
-----END PGP SIGNATURE-----