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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.11.7-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coq-ext-lib
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-ext-lib
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-ext-lib.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-ext-lib deb ocaml optional arch=any
Checksums-Sha1:
 bedf3d0560c3cda2301d65bcd05bd7a4cf1d07cc 82956 coq-ext-lib_0.11.7.orig.tar.gz
 3b754441413c3f212ebe97f68946ff591fcc7087 2036 coq-ext-lib_0.11.7-2.debian.tar.xz
Checksums-Sha256:
 5c86f149455f828d30a56594a28d576b3569b69e9ad440b6e0780c15e5416fb1 82956 coq-ext-lib_0.11.7.orig.tar.gz
 f102bc89b78836fece9be63eb0ffbc1451369aee659427f81ffc21483776c263 2036 coq-ext-lib_0.11.7-2.debian.tar.xz
Files:
 a71175b8e2b9c005d4e333a25ace42ba 82956 coq-ext-lib_0.11.7.orig.tar.gz
 420d7e78ab9827de4f506d430d96ee01 2036 coq-ext-lib_0.11.7-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ0q0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRyCEP/iiZCpc51+4HBFIm/++ANfc0W5CWHMVG
ETvLcL61jD07hnkz6PrD+zsb+eNumzqcpQdrOnfY/vqJQ8gaP1a53MlAmuIdaKdA
1l1lk01y339moGzhnj6uXSzJkrF39xe8oVd/kWvcUXlybW8KPdYhpjKeV7koaEkJ
t1EQmUYvKiHYLs/zhswYljq3jTmv4kj2BzieUPZ9LR0XP9kKDsop4GAef0xNK4Nl
fXDKotrGZuNOxIqZg7Kcr8ELZnRt0Gs0UNH+hil6ZztgNO2k1cEsfDWN9WaF+VNC
xpUbQy4k0nbL/iSqMXa4ZdnSk9bHR1EK18Mr6T9woEnCx3OXz24ZZxE+Y/MItoRs
uu0LhjP3KNLYuPvlf1CH7SE3RJlSzlX9AM2loM01a1XsgvmG+9E1Wy7R73p4rJFU
aUqeb3WNDu5dl9HXjIh0oNy/g2357jODed0z3jbdot4kOTK2+xFUQaG18F2A9f1i
4LtfEwRHfywF1FA9KvjzKIxe9fCz/6+U7TImava0lbri0y9boExYVxh5LwD/SIDG
Ti50pJrcChuleMsoXN3usXqYRwyfgs83t+QiX8XyZ3hZCCRul+SHC6pt5fHsRh53
0lVL/Z/uW/1x73/oTHCqbdqCrEVJfE1XX/aZk2Pz8IqS9c4MyFWbpYJTMLkSuGlQ
Q++soGB4TVH6
=qr3V
-----END PGP SIGNATURE-----