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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20231231+ds-3
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.6.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:
 fd21c6627e4a903759881b29da00ed32ea5d27e5 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 64901ce92a13c8985b4f1786c442c7f5a8a1e5ae 2000 coq-menhirlib_20231231+ds-3.debian.tar.xz
Checksums-Sha256:
 261077a28a9c2e5160ccf5b48e892f98c42b273022506d58c9f9f3dab181ea28 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 459611ee3b8a6f03ba4cd8184cf3520f160b93007065574f97b869ae9666aa0d 2000 coq-menhirlib_20231231+ds-3.debian.tar.xz
Files:
 3bbfcbb365fc19dbf12107723ff7ca17 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 a1fbe637f0cb46663b96676ad3f228a9 2000 coq-menhirlib_20231231+ds-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrr6ASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRuLkP/ix6TJxUKIliyXWyJsWAZMh5Va+ih2S5
qWqIF/xQrXaD7i21JWgFxULb/LgLJ1QUkZjFE28F0A9T3HgK+sdizA8k/21KcMpS
FnefTrcuMzMAYf/k3azfZ1hrJrUcjpigvD7XLCvb7uESGVYemPeT8fsJ/yuvKsQy
wkDzJReZYHCM1exUUvOKxd9vEJUNpPN2yHDm7hElKefg+cVQxF/agUdxByajGLTl
2AA+Qb2uC/LWLZUFF0H7X7lWAqQZ+eEM1xLvNx36zl80j/3DBiZqF2lq+Gz21S22
94T86hoOwS6rmaFHPuglmmw8n6sMHoovocZIbX7GTy5hjwJg7G5u0YapGob4ETEg
Lpqvu+RYd1/axTOMaG5puds+KJH+NqaYH2EWELn7385N5Z1H7VLufVdS+nduXq5G
uVTpLzEmuj4rK5DtZL66ZtkhfVyldnC3Gn6xeJu3IJ5PxlddaJTmyYNUsb+onODD
RwLW5/L6Tj/6CKu3D6mn5riLK0lYwsl4zaKMQZMeLxRUIu0KhjAea2xODHm6LWE/
jzl3xT0kbw1I5r1QfJDBfqbXJDVqK0m3OYLHkoKVGxSzUozY+d6dpN1XfT78bLAL
3fIUQdbImlCMNBoLMxWPQJkGA3SL5P+Vq+HMZDDVThRUVo+mNSQBmoDIxQVeJx2T
Iqsz26dC1xAt
=xftz
-----END PGP SIGNATURE-----