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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20220210+ds-4build2
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.1
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:
 9f14a8f3d6fe60f445b98312249fc6a415d55cf6 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 ff645ac1504d689cb80b73f2b7e1be9d763266c5 1840 coq-menhirlib_20220210+ds-4build2.debian.tar.xz
Checksums-Sha256:
 8a8916c99b2c033bb0848db6beaed5db78e67f308bd704e7f498f1861a9c77b1 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 afac66d8917b950a6013fb04c5a56045714927e833bac06bfb4e18dd14330554 1840 coq-menhirlib_20220210+ds-4build2.debian.tar.xz
Files:
 f8a31f9808fa3fe75b9d3f25cb7f3c14 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 e93ea3997496a217337d3642a1bf7d72 1840 coq-menhirlib_20220210+ds-4build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudeQACgkQ808JdE6f
XdlEWxAAlEKccc3jFo5sCQSr8ztfbymZAfMhXD0o5QfosTeBWwHQlQyjRKLxcytm
ePLdnh/ebonzyrmWp2XvGtQtW3segXEWaWdSNByRc7BNUis2H08hJoZjEngDihuX
ZCyrgjEsidokeRcggqfIapwF00eDEW0I3iqinhecWRYPihC30XGR1xgmRoTfHNtz
ntzHjl0ka9u7YI//CxSNSDKQOJgsGRxjH0d2bxz5Lk25p7WN7+jEIjyC/86BUC8q
KctctwChE8E8rq/5tfyOHSs2op0ceJWCCUJSdBQyHtKx8+dqsegrv28ps7QDIHcE
2LFxPrizls6QHieezkTpFBGXb5MzFdooxdJSX6g5Q31UmyHXNo8lKwSyVEK7NqNU
tllSW43BB4ZfhwQN6Ra7xpAFaK6HtKam0SgtdAsjJpPaHbDqRjH0DvKbXXjANpXu
qENfowheTT20Ztdd7mMcoX5cQH74Ee7+CuvMIFYFLSmY4xm73sCYCrGvdanv2cyr
UeCB1zYijyhzO+ybdX2Kt3xjr+KDFtiqCscKyL4ce1Kd10NHa9IG75Avq8MKCfc2
BNUpZhwMfes6qGNbGbiES4VTO1sx4lssSbMMRVost4A45jyNstk7pri0LLcGdtpM
+rkQyYnwwm3RK7MOs+cGCQrVo56ZzB0ZeP7MuqWM3t7jCxgUKxU=
=FQo0
-----END PGP SIGNATURE-----