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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20260209+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.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
 de4a104127799c7c05bc51d8085244b1744355fc 2232 coq-menhirlib_20260209+ds-2.debian.tar.xz
Checksums-Sha256:
 85653ae55c8d4406c501caccfb234c13f4c8481211e0bc26ed75fe8261725c70 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 90850cdf1ae828fd7155ad78872f79cd7d0dc44b1f7bd206eb362270d6c8e8c6 2232 coq-menhirlib_20260209+ds-2.debian.tar.xz
Files:
 8bbf539834139947215adf64c72b4b59 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 628f740f9ce22381f5409cd11f9ae00f 2232 coq-menhirlib_20260209+ds-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodLMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWRtEACYwD25Jn8l/2m5vHdgdnHp
pCGAADNcqteWQvhnTDrVLkZANSx7eeuFXKaPEkZRhzOPoFE959Jf/OHYcR8ZDltp
K99oK5uW2L0AxVMXIE6czHhRph0q0E49UK5UMhPaawq8VhSssRMJY4+cWpDIihiV
DzLwOazxunLCpmsastP/TvJal2GlKv2MdTJ8JQMgMLpARicdTEeLv44i5MQs/E6Z
RQ2Y+vwDDzd+0IvdjnZ3+GXVDN+Q+wqB88xTEexeermiKdc726TFai2Egx92trAb
WTo/X8Brnuuv+aFOcX1Y2igjxHlLRncF0uHIW58tGaCidCt1a5bIAwWJ0QrMALJF
+DtqMDXYKsZwR8nOraSOw/9+DzsDmExdBdLaJ1MNDvBNYk8bqRjJcq6WXViOwfjV
WDEi0Hg6eF9qVGgUACuBpS77KnG5VeciVDDJc3D+ARIf4KMs2qnhAKPTdp++3T1J
Fo0lJdxWFfk1Ja5OHH4u+0/aoJdftqW0sqDOosbYNcrTL/VRi+XZBVhlNeHMTs45
+6dS7oLraRZkXtgY3RGwhszP0jHwsOsDgK8FQVDUcoilUpOUIGQenZ2sMC1qyqBw
gK6UrJpWVBMMtgbqe3IYw4vRpKWIzgD0ox/XetdNZbPjj1juqeDBnV7iVRO9fOPk
lKnL/wd3NLzQXP+w2AIFrA==
=O7qp
-----END PGP SIGNATURE-----