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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20250912+ds-1
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, 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
 ad827fb8dba90e5d8c8414e919f88e6f69849bc2 2216 coq-menhirlib_20250912+ds-1.debian.tar.xz
Checksums-Sha256:
 d68bf258db56d609d25fe73da960b832546e6344bae54023d0a5b90ab018eb78 84924 coq-menhirlib_20250912+ds.orig.tar.xz
 80975d95b4d607027ad8de0c4d7f5b8ebb2b8ac3ac68f9b2dc33f503fbed1543 2216 coq-menhirlib_20250912+ds-1.debian.tar.xz
Files:
 ffea22e09f8a080a80248db9408e7ddb 84924 coq-menhirlib_20250912+ds.orig.tar.xz
 14c72afda5afe6586614855124cd5898 2216 coq-menhirlib_20250912+ds-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBzm4ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTbND/wKTG40lSgUffvnUaTNo2lR
Lat/T96+Z4iaBqkXenXySHeZqsQZ3fcM3X3H5cOyY4nhT91DlMNrMaULHUbdOAoG
znppaKRXxNVT5QIOMboKKuRwBI8OZ6Kw6rj02QtEx4ljVsNKKhEaHsTiqgDc5MR5
yljs2yk3pArbRQqdzRwZlSbUsEJzRapCGL2mXCJzd1Iv3/FxWaNY7iCnYUPoTMrZ
VEmiu6eD1Si09iNNH40vbfagb36DanL08CVF2bJmM8C9WeLFKsjU0iDSAwxDj5Hj
oH12scUYZ9PBBovNJ+wMqSoDI03635v6TyYHEKuL8bzypPGRD9BoG9ky7Sk/EhaA
GAU5L6WhsbzvgSbVuwGstNENqj9p4j7qvyEw+nBRGYMEszv1uOhWnk+ZJxTyGhn0
3xwaGIeAg6g0HPILyfxshZ8auYUpPbzc3ysuShXTwrSOsDn/0igMsiFC0zhEvKKj
6WEvsUzhIl1GNPeKjdcFM53dQZEovd99GzOMhy7nZ/5N/PKrplMEAejgUDWDp7CB
ErsOI7J/Osq3WMqWb/UHflWE7a5aZcmMbw53tJEknqfsXpAIJExY2OnONSCeOqbS
m6svWAasy1CUoH13n48OQEjx1sWcIN6xrmQ4aIz60qT4+/PF4F79Zngz1yOTdRFd
RLLKd9GfNezeLDlbes+Wkg==
=6PK3
-----END PGP SIGNATURE-----