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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20220210+ds-3build3
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, libcoq-stdlib
Package-List:
 libcoq-menhirlib deb ocaml optional arch=any
Checksums-Sha1:
 9f14a8f3d6fe60f445b98312249fc6a415d55cf6 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 ba72bcfd32dbbf5cbfc03ddf3a9027626764edfc 1812 coq-menhirlib_20220210+ds-3build3.debian.tar.xz
Checksums-Sha256:
 8a8916c99b2c033bb0848db6beaed5db78e67f308bd704e7f498f1861a9c77b1 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 46d76906bc655c7a6ae8f34984c320d0c68b64fbd4f75d3361a81df5c6c9799c 1812 coq-menhirlib_20220210+ds-3build3.debian.tar.xz
Files:
 f8a31f9808fa3fe75b9d3f25cb7f3c14 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 02dd2da2dc096b8444631f67e7e2513f 1812 coq-menhirlib_20220210+ds-3build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGq4ACgkQ808JdE6f
Xdm7AhAAvdq7vngH4vOLjwC00sCGe3Uw+EaOj6f9Bg0elTdGOb2EkTUmRICb4u8R
UAaR0DJgGgm4y9VEsS+tQIbnC2LCZDgBVixt/IXXtDqsEUxPmzApWTtQ5dlDZaXT
Srhkt+uvoDitf617XDLIIOrE2lZVJRTFKvz4VzkZ+8v07+PrDSJlXe94xwF40beJ
DJLWNZYGuvS53iL9ZXbxVSTJOUDusrxfePgGEsLGO7LymJpve06wV7Bh82uhQ0fW
zghx99ReAdl3a1DyEvWZjuNpuUrV/E8vlnwTbtKV4FPl3Nw7Rgrh8jAJyT3T19oF
vl50GzKmvequwky7lF9yTdsT/9cKpWdXGaxeqWXwShBBTXgeBQ/BwFewT+WsNQLm
GFild9hurkbAqBnka+rBB5+ymqjvrACOi1rtcfnJFVNO7tKmTwDTeiwl9p9tPmBO
5gBo+YJZADlP6cQ8K3b3PV+Z+20B/HbcYqulDG/k91IYrJopJBrJnIzwMXkHR9HR
ne0yy5Fe2N9TMn7rZ2FwEDk7pJl4Y9VfeDcnAK19ggJG8G38jn8pFwath6TZGgYj
vypg6j/Tzd/TvM0BI/O6i5A/tzwGDNSqPJoMgokPwkdBDtVugqy0fgCqM+CJwiKL
WorRQqVFX/NBdmUQdMGHvTsxvpFE1rJygX7FOoWyWm+ZKvhTybM=
=yy6L
-----END PGP SIGNATURE-----