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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20231231+ds-3build3
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
 4d30c8c594ba18ea953f7079e9382075cebc345b 2096 coq-menhirlib_20231231+ds-3build3.debian.tar.xz
Checksums-Sha256:
 261077a28a9c2e5160ccf5b48e892f98c42b273022506d58c9f9f3dab181ea28 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 c2d598f3a0067ec8f8ff5bf3387e72ae688d547a809abdc787b86f25b322f834 2096 coq-menhirlib_20231231+ds-3build3.debian.tar.xz
Files:
 3bbfcbb365fc19dbf12107723ff7ca17 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 24fcbaa321c2c065c86e56ba4bf7c515 2096 coq-menhirlib_20231231+ds-3build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpn4ACgkQ808JdE6f
XdnNHBAAtGHl7v/6I/q7ZExuC3YQ96f9pJrYG5RIP4RiCngCuJ5hc/A7V2QA561P
03w0hM6T7ThedZEcSqm5BhmPJRFmYD6EMGSba9AVYWlCfHjrlBT3b83oVb+ta1iS
r9bZS64wuEU29xD7UOol6Skryw37W0YJ3t59wQQtt2QVYvxqYQwbreZGFrNIiy7w
C0DtrUWUOybg1sBNUjF3u1fHbui+Lk/G6vdFH2LbIFT5OFvdzzZOWVxkdIbeGnSR
mKaS9dwlBEStMLPLIn43n4++P6LZ/ke+kb77V321hU+kUms83B9kimOXKM96hkx6
c67/zfNB3aAks317g4HANDYEMWq57IDN/CrEX5wi8WPJRfJQMXbp43bft2/d+r86
YbBEjVE3q9bUj23+S0mZAUukQ2XJq/lNWzfxBDRkHcxf/8lTYNbZ7QHDzcGcn+XF
ABl/irdDgAhDQrzG6/MmhG/4b/NDOtl8O9zXS62aY6f/dNPtLqxqBnjb8xaXtoqn
sNGb/dZjySf8GTe5hagu/JWAhuIQnFV7Pr2e6HvJT4qbgbgty4xSzkWmUudCw+QL
mmZ8SxNiLOvKCT5+K+/DbhfScjrwEe6RhsfGMfAgFFA23en51YA0Kx22Tf6B73IA
FeOhTGsfg3w1f65EZZScX+YCpuqmeWdh8zsyv7WYNNBj8HpGngE=
=jjp+
-----END PGP SIGNATURE-----