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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20231231+ds-4
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
 47650c9f9c3c2feb37a3fe346d0b089c02a3276d 2112 coq-menhirlib_20231231+ds-4.debian.tar.xz
Checksums-Sha256:
 261077a28a9c2e5160ccf5b48e892f98c42b273022506d58c9f9f3dab181ea28 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 518fc6d7fe3bf6fdb66288c90b83ca6665fcc9375b0dbef6ff2dc0707d5c6b2d 2112 coq-menhirlib_20231231+ds-4.debian.tar.xz
Files:
 3bbfcbb365fc19dbf12107723ff7ca17 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 565d805e237fd9103ca666a8b2fd93ee 2112 coq-menhirlib_20231231+ds-4.debian.tar.xz
Dgit: 3b27f2c539bec0dd66b95297701cd3f99c7e7dce debian archive/debian/20231231+ds-4 https://git.dgit.debian.org/coq-menhirlib

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauThASHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBzI8IAItYq4lB0qpjMB9AqjRjWkY9M/Xhyjzl
cxcbmLG71a5yexDHaWQ510ov3JOFjB6UKWIN4X4+76nJrS3L3p1hvE8+l389rRBu
BBJeWj3rV0g8Z/2RQMbj4vbGcW6ixdB29E0LSV5ZZ09J/JhF6MvZF64YUdejeaN7
sbHuC6TZNh+bPlzArM/RbomtYanfrKhwncxHs6wea184fYIeTu0s7iNImVliFUZh
9y2V9A/lpD26RxoZ6Gr7v9vN2BZUevQ65K7Lfudx2vYurIer1kI2nvYjBcos1cTP
5h7qAWgc76bpVrFwnXmpegLH+OwA8kpxgWWqgQ8/7E5ZLh/hr/30VvE=
=c76K
-----END PGP SIGNATURE-----