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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.1-1
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.7.4
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 (>= 9), 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:
 703469ecd3244f4366a796504611faf37d3e299f 85531 coq-ext-lib_0.13.1.orig.tar.gz
 4a4fd3eeb0ff77c806bebb357727868e9e5db8a8 2500 coq-ext-lib_0.13.1-1.debian.tar.xz
Checksums-Sha256:
 b3bca20b41d2bde744a484e5bf8fa783386372868a0bd6b24a4824648c73d133 85531 coq-ext-lib_0.13.1.orig.tar.gz
 a47694f500a55df34aafe539127cdd2794ed88a0ae0b0e29ee12c67ee1b5f374 2500 coq-ext-lib_0.13.1-1.debian.tar.xz
Files:
 2e20520bf90bfc691ae6b7de71beb0a2 85531 coq-ext-lib_0.13.1.orig.tar.gz
 693b1afc7143181eb4d327201e5da24a 2500 coq-ext-lib_0.13.1-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpQ0gwZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUb3dEACYrZ8uP0xMN40nG8Vt+7Ng
exmjhIeaTSMbym1fGvZIUsrAHVqvDh1jzq0MKm75nWGIwt5vlVYvEwDEH5+EDfT5
dbrvHN6OfIO5ei4IFZoej79mTWstPzlbn/GTpGVUGhJXKHfJQ7nV5lNE7BqUUc5X
mnQ0i2IGk8SWmYzd8poL06/3qzgzSY1V8LgxenpUFtNcpuqNzmEyJsulbKa3mAkp
36eXJ7PkEsIVIkyXqopownsx0lPQAnD6q5YFeX/s1e9i0N+A0aVwl6rvUf2swgyz
N26tpAGz/wTfG0wqvWsqh+EngXdP57R5F+HL7Bd+er2FutW/jwkn2bxTYtzuqSio
krvDQ1B7NsmKkCHyeUJn55bFDuSp2UwmFsWRzv41HxbPDN3rxNXV2JJfz9oZCZ4S
/6saUz0FPFvDr+srpHO4SI+ddMd6BYHoSVSEaJ99Rb1PXts4ZjdlGmHBs9HYNTde
lRMdA2X9DNX9QW/f+HCQJOZ9VqZuoiOVDVTxz/Hetls2TAo7ns+Im5+QaNEwfqdl
DSwH8QIww6aJcVQlIdLjvMUjvKK1jSD4soiiSAYmfF1IF1cYd+MMula3QFZ6en6S
eWODkH+wqPeULcYp0F+lhmWRTYodG7TCzEvJdhhr+8HBx0M9pSrpKgFUUpgKeEg3
hGaJvpJVgPUOLGI4UEcT1w==
=vuJj
-----END PGP SIGNATURE-----