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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.1-2build2
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
 e8cbe0becda9012ceceba3f5a10ff038a7398bfb 2608 coq-ext-lib_0.13.1-2build2.debian.tar.xz
Checksums-Sha256:
 b3bca20b41d2bde744a484e5bf8fa783386372868a0bd6b24a4824648c73d133 85531 coq-ext-lib_0.13.1.orig.tar.gz
 d70cf5f8a5c1d907aa9c27f33073fc810365de10c76149942415b38d04652614 2608 coq-ext-lib_0.13.1-2build2.debian.tar.xz
Files:
 2e20520bf90bfc691ae6b7de71beb0a2 85531 coq-ext-lib_0.13.1.orig.tar.gz
 5cc10f405cbd57ad8c254d1894a20315 2608 coq-ext-lib_0.13.1-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqT0N8ACgkQ808JdE6f
XdmIzQ//ZnCrjuCupBH6f2BR3lnbyWm/1nlYWWJqOMRyn3g6E2XrM5t03y8uH0cH
d4T1WS1GWnvpZ5YgKJu8hATW2ygFfJPdnql8hGxjJHfX/fuNDVD1cI7Vc6k5LoCN
zNZdK2LxXd6v4aL4kicCjK4cYfH89E0r7kq15ShWWw1WlVh8UUC6R9WKgrdI/pfB
Ut7kYfy/OVMF7N88x60F/OjFFRQo/2XgXVjZNuxjhnK129zGurz/3ImAFsfy5jNu
2d53nVRTteQO3r8o658Zx2Z4eVfzCDzR6pkLc/4L2HFIPHHZjKWtNj+l7zMdo8eu
/Zpj4KakPhpRYspcaJrvvAT7k2tULbCL9s34qwOAo7xFF8/NnBeVhnDGBLU4k9Pr
K2qhPKtWSPLqahgQh4s6Jcxg5aUi+AyvDKzBDA302ROPX21IP3c7QmqpttWu92Bc
qcScyRxDBiy/txM4PCZ9z+XbiXxczsr8SuEmH7IOtLzqRN4hpypPVG94FisCuYCt
Op1Z+Bk/bvaFAI0yBLqfrgDYjHhZZ35p8PN2hgIuyeg5+pS/Z6kXX84H181sKUv/
4TLTA1HsZbNmot4ACdv2L5+D9WpJNkJYYCvtHUZqQhyN7/F537jSzi+HgIzfpPU+
KQtPMsI+CXmwZkNOEsmvuMeb5BMmRPf4E8Q93vQkoi8wOIP/14s=
=C68g
-----END PGP SIGNATURE-----