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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20220210+ds-1
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-ocaml-dev
Package-List:
 libcoq-menhirlib deb ocaml optional arch=any
Checksums-Sha1:
 9f14a8f3d6fe60f445b98312249fc6a415d55cf6 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 de64ff7489f69c6404cb27a7850a67c2bf0d8d5a 1624 coq-menhirlib_20220210+ds-1.debian.tar.xz
Checksums-Sha256:
 8a8916c99b2c033bb0848db6beaed5db78e67f308bd704e7f498f1861a9c77b1 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 b30df5050020ab94905e5ec12ea3470059e620c83b6a504788d6ad2e8b62821d 1624 coq-menhirlib_20220210+ds-1.debian.tar.xz
Files:
 f8a31f9808fa3fe75b9d3f25cb7f3c14 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 86b51ae3914abd8d7f4e0494ae0f27fd 1624 coq-menhirlib_20220210+ds-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLIQyUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR6WQP/RGtp6xPEevx++JSH+ATkaRfOptY44cA
JZfmzihnAh9ryxNTP6MDim1wGEFvPU7cqJTWxtEooFR1OrxtroyHfDoqUG9+I8cP
6HqI1Q3M7H3Uprwvu/XFgdZq1ojHkU3qEH2wCWGyJ8K8A+TxmjG1n3G2FowrX4Jt
Me+UJlk0iwVjDub7tJGJ5LFNjiE5m7OhUu74EU2gdlKL6SU/gT9F2VyCrEnHlDU+
xnp9hjwwG5NJhwi9lY5fmgSQwGu8S/+fdkbGkzLJtY9HTbBfJ3wupfqJWet/44xH
Dtv9+4x0R6gT/luEKFrgzoq5wS+Cqg8UB6wNJDhOnwP+UxwCREYVfMjEDCIfz3Vu
ulNU2YmEv31CnJQ3JR9+f3P6R8x5SDXAol6UHEYPGgdIDAXfo2UNYh8pMW+CiiRf
aAKTifS1oPApLgPdv+W0BJxYGSHidKrb3SJ3txBmPpTLsI8z26Ze53W5TB/SOieV
zPh69tzOFE3elU/9hpGvO7jyPsR3NqUgVD06EZJqdhG73AvUnnVTWS7ngi9OVP3y
8Qx59FYSHJT5/6XavEthvnEaMpY71TcrwZGFrqgCjmXhqDY0gkVqqRQVvGxLtRhq
VXghyD9A6i7Lbli3fE/Qakwwam7E/MAvLvmgdr1DAaFPs77nDa0OrllTKh7xyRUh
QDc8dF3phfsV
=DMHi
-----END PGP SIGNATURE-----