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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.1-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.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
 d17b9ab67e41b83846fc346b29b6667e57ec4775 2524 coq-ext-lib_0.13.1-2.debian.tar.xz
Checksums-Sha256:
 b3bca20b41d2bde744a484e5bf8fa783386372868a0bd6b24a4824648c73d133 85531 coq-ext-lib_0.13.1.orig.tar.gz
 0e03882f26552dfbf3a9fb9d2836261c4ccb99aca2c8d6b9a4475978d53fda15 2524 coq-ext-lib_0.13.1-2.debian.tar.xz
Files:
 2e20520bf90bfc691ae6b7de71beb0a2 85531 coq-ext-lib_0.13.1.orig.tar.gz
 84f0720924d131045b8f50e24a782b8d 2524 coq-ext-lib_0.13.1-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpoc5wZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZSiD/9QrWxsyZtL2qnpKKcBqwHd
EomISteZbQiFdGaFoyK8+ohBwg0m1nAU70fyRMfruBQf1HUHxMP98Px5ZVUY6CIB
H1cVkF6eRGa26O5MJEUQO+bBYlcaqH6T9KuuN+OQ7x4UZMyIDyJ7S/eWW3HdZyMY
+SbNwjkMWbNJUgQB3XFabhjeeX47z+uaS8RLbVxD0YgMz2KRamQZA9yW/nshn1mN
AD2yXtxiVI8J9sWXmTpH1wJx2MNLzidi23punY4psFVy86YGClPY7i+iZSDh2lxL
0BjBF6EJucD6C0oxymq+HSVeZ5g+ejZ3QS7VXq7ny1nKgZtlQHfJiigZdwpEDFVo
0u15AN6ozOiBWGdtH2rMdMUJ9DD+zbgk+qlXO4rDD67q9dH5rMlOMxvrd3YDc3hs
Go7abnvlQNzjIBwO9PGo+otA80Imw3BdZzdmthMSgS0NJFoxAe5AInbGhhwjHeOg
NgrhAcbvB9Ta+W3vgVHk54aVzMZtaIDrpltQ2z+FunDaD2Z/2JCvavF1/UER7Djt
uN6uquTcEbxZk06s8CIyFzQ6eN9Grgx9fB0md2wRk+aFGcRTOcECffc6QP4unCaV
br3jwiJRuvGiMrEUVlNovYrORn7zPDHcUs8jU8s1skG5XdqN6z9AE8XpOXqKkASp
J/fAEQFpkcLHz1eYcJspKQ==
=BJgK
-----END PGP SIGNATURE-----