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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20260209+ds-2build4
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
 daa6c82996ec45a71b15d80cadb61347228dd296 2376 coq-menhirlib_20260209+ds-2build4.debian.tar.xz
Checksums-Sha256:
 85653ae55c8d4406c501caccfb234c13f4c8481211e0bc26ed75fe8261725c70 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 838b2f64feb97f924c222a818092c28903289bd90173527e5033f05445c79f94 2376 coq-menhirlib_20260209+ds-2build4.debian.tar.xz
Files:
 8bbf539834139947215adf64c72b4b59 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 edd616e029495c1ed3b6393b78589c2e 2376 coq-menhirlib_20260209+ds-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtC/gACgkQLIPbyOm9
Djch7A//Q1bJv2sa/QyO4TN4mOxq4U9Smz8ALEf7gA92Y1Pz1HHV3dITtIGlNXL8
XRTvDgBZaa2FupD/cmAkRNVlsO3L4Tj2C5NDghfY6i7HrE04R14YA1Zi7aKlqxj4
FfZxe6kwP64DVYuI4LV8dAKqJo9WV2Ofpgj2mhnYYwjKKRezorCYkQH3bRFY6jKx
UDO4zLfumLYmQRm2cspRx/CWv0YaoEkwDG/mp3xovLvigs1j3OsBaBq8rivwYrH/
yDA1KPLX4HsyFCCVNXsbT7UOupMHxNe2bUAhXRyO5VkfjDbol0gOjUi+uSKRJxpl
fJMfgzEYrTJYoUpZrBPcNek9fea93LJu7Kt+NsaXUDEu/df/izpYaJYL+mQht/wF
+wMrd78UJ1pNDJTShaB2t9VcJDglO1yaqk6eYe4mbtVqQrQn1zTSIcS8nVPyk5nD
s222dybpmjDZ70/hf6MdUQI+ivGLiOHReIU4VVJGgtTHjzwWJY28kFDZYRIZIHKi
bmu+GCZKj4JeSpCqdLfrzw1qNONPuaUQ02cs/Fxw0i9/I2AKd6b4kMCLqg7om8/N
2C9iibQEuh7Jr7yP0tJqzSzja+2ko++HkzlmWBRr61tuBR7BX96EPcg67454XXHD
YxPz7gB7svjHabvEnxzeW+Ad4BHKTqU+4AKh6AAbP+cSVt/rR0Y=
=2WWw
-----END PGP SIGNATURE-----