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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20250912+ds-2
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.7.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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-menhirlib deb ocaml optional arch=any
Checksums-Sha1:
 c699440c14f5bcb9cf9d93a011cf63f327f08e8a 84924 coq-menhirlib_20250912+ds.orig.tar.xz
 c788af2b7d9807a276c70645479c0110b9fa5f21 2256 coq-menhirlib_20250912+ds-2.debian.tar.xz
Checksums-Sha256:
 d68bf258db56d609d25fe73da960b832546e6344bae54023d0a5b90ab018eb78 84924 coq-menhirlib_20250912+ds.orig.tar.xz
 43a8f0bbf19980310996ffabae77f3a3666d6ceb6899a34c7cbe7769019404e7 2256 coq-menhirlib_20250912+ds-2.debian.tar.xz
Files:
 ffea22e09f8a080a80248db9408e7ddb 84924 coq-menhirlib_20250912+ds.orig.tar.xz
 c78164a09d7f490bda41122382388399 2256 coq-menhirlib_20250912+ds-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTc4AZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdIzD/0XTSlS7W7znUnajBrC5x3K
BMgAVmfFB6Q//UPZLC1KFf8vi3e03Xyqn9876Um47lgM2+InWYq4XOZveR1yL9Wh
VS8Kb2zjMJM4fdRuSbhiqfhaDymRFCqxvQuRJNyf8j1vetD2EyhHwdMtHjRhmSUD
a5pwzCndZuCRQhawaX5Mm6dEH8RIAFsVeYEoMQAaLBlkPIniuG5OaQ2oiSiPlzk2
JinT6Vi7jkTh8614RMGnp6Yd5EJExgGpnvFZYXC0Z2UyFSZ/cS/6/l5AubnrvIA9
4vbl/HdSGuWpNUvJq5YLKDDVoGx1T6b5gDHqfbkIYNwmN+PzowsjvaIQnwVMoYdm
Sd/6zCshDeHY4D03kudsGhdfluV/tgR/U+FosscEu+ST+pEOLKcuaVHrOPf4X2sx
fobWLM3TtVByhjRvLypE5kf7g7wqFJZkXKAgVHmIz2JZqPFAzrGKeP8VVlBkxAMb
0uIYCwojiXGxGlwASuzOk5k6FY+7J3WxMSMWcl9aTuMzH5y+JD2TUI8KAuBZ+DT7
kpr9H2MaGHFyYcWvTu0egzdxzLQWZhxUV06/cRKd0PlUgxcCi5y7V0/6IizSZMle
teWkV/jrVFeUwP2TSmlAqB44QjyvPf3Kd3dhiL656fv7MJ/qMG+3yfE9dXK9g0EG
1vLfSauvyMU6GMgJ3M111g==
=MWjG
-----END PGP SIGNATURE-----