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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20260209+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.4
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:
 c80432aa75b303b40d2da8e1ad96d7460b510264 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 46bd87e311b02b5c7e800acbc8d22d0dbc7c76bc 2204 coq-menhirlib_20260209+ds-1.debian.tar.xz
Checksums-Sha256:
 85653ae55c8d4406c501caccfb234c13f4c8481211e0bc26ed75fe8261725c70 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 beb606207f45b43de87e6546bf4d133785b361d7f098f1df2dc1c0859e8eb958 2204 coq-menhirlib_20260209+ds-1.debian.tar.xz
Files:
 8bbf539834139947215adf64c72b4b59 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 127aecda8b0b784966ef8dbb16a7ffe1 2204 coq-menhirlib_20260209+ds-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRCTIZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUestEACcFb/Dd0jfo1YUOlIRFAfv
q8WGKUanY2+36KDzKlSaHBsRK2dDO/A2JAR/2NOWOZzcZhoDTlYLC23kgyBPvk4t
CrHCWc4gSJcpqFgB5X0jL+dm4gmcqLZKLZb4AyQgJifQC3Wy+QUnQIzjxFQwRBmI
xj55hwrIq+Cg772jlNN91nCrzAu3baFBaiWlMAaaPrX7jpwz8bzGoEhXmDoBp5Op
KzMn9SnZx6yGl+krARWY1NLjXY35t1KCXmYIGA6DZVs8440HZIHiDQClG84MuuR7
BXXNucYkVqGMGHqPzky04l5+25BORPq4WgZZaiFC07/BLPElKM2KyrFTtGx2W9On
0C6DrbhTdzLFigRGy+RTDBCCrQZBpYvyfO/d1DXFbyABcwRpkQZg+MgY818WAmOl
ndkbxEyeGyoikhc+gykZXXLPEp/rckJzNvDugFyuM+UrmF4TL4Gw590ag3Wfdljo
MWjbpbGAstkW4eqcRk7KJOLiYb7isvSKTN50/fXH6lrNu8JwDky/9syoznjYta/Z
8EWwilo9wNqovs6oag03HaWkTCqA6elocDXozQ89rK+2DBOe7fWISGhdG02brhgE
9ZUTvm+uuf/f2dgzByv+bVUayeHI7IfkHzHHsaJK6sBaa7DVLnG1e3F6oPm6XjTn
N2tLtOwF27zcWyilMHPlHQ==
=xu/I
-----END PGP SIGNATURE-----