-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20231231+ds-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 f05b4258e02bed3f2ac24cf565bddc9ef2459b47 2136 coq-menhirlib_20231231+ds-1build3.debian.tar.xz
Checksums-Sha256:
 261077a28a9c2e5160ccf5b48e892f98c42b273022506d58c9f9f3dab181ea28 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 73aac0cb42caac7e0c3b51b5ac0d3c5229b1dd98586d445caaa1c2f0648105dd 2136 coq-menhirlib_20231231+ds-1build3.debian.tar.xz
Files:
 3bbfcbb365fc19dbf12107723ff7ca17 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 e2dc3a7a31049ff5c2bdd8282dea6529 2136 coq-menhirlib_20231231+ds-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmWEACgkQ808JdE6f
XdnXXhAA2oqjhKM5ybswptRtEx5Cl5y0wiqyB2SvDPGqMv00Re6H0MXuAIpkxIA9
D5lHZBiwFq6RUMb5ZmdvTOBkD/dDaGl7adzxc/nVJ1m4wJBHNfmPJymqHU3F5ALD
7KlPdusit1wt57XxmErBW45Dy4PvOpRuPTh5LkzSJAjHomJ6OJajLnDpnHK7/NZ8
bEjzHN2mVLiRFXmuscbz08Ogm5+k1YWWvFGXOsCssF3yCLWfoEuaGeFTMqen389o
Z3EcovNgdsIDJ6uPqGyEHxZq4vLh8Ix0pP7L+2lETM5fwP8/+EWdkmiEuqyiFMKm
udayS+q5DWLX2BP7/rY+DEUc0RHdPZTrI30L1JI6ggWN0CAT0Em7wTGXTbvQwKXR
VdtSdZPd/XC+6y+unNS4V/oaZwIwb6K7ujwNlXZ3avSREmCmxLz17jlSsxlm1dJu
2+zCD8bZ1//WtraPxiuEGiqHgIj2B8xHB0hie/wowwPuBlIzFZvLQsoapjzg4Dg4
hsLJL++uWYPbTrRbCR7gIIRDlqvEcdit57t69VP6rPJUbGWLzeXTFAUG//HYGtKd
rr842hAqr3lYlt6TZbDl9R/s1nSszT5xFE7x4NBu9J6S7iIPpQmO7UWPD93CYJqp
eIegQPFtE06W/uniq84u3SsCkC88i+IP0krTCSI0TPOEzivCoBU=
=I0yi
-----END PGP SIGNATURE-----