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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.1-2build3
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
 31defe7ab73f39fc2bc50e475eee6c3ac3d74e4b 2620 coq-ext-lib_0.13.1-2build3.debian.tar.xz
Checksums-Sha256:
 b3bca20b41d2bde744a484e5bf8fa783386372868a0bd6b24a4824648c73d133 85531 coq-ext-lib_0.13.1.orig.tar.gz
 f53eb1e1d3b3bc2af0b5382c13568716e48d280e52cbf47a6f713e2022eec92d 2620 coq-ext-lib_0.13.1-2build3.debian.tar.xz
Files:
 2e20520bf90bfc691ae6b7de71beb0a2 85531 coq-ext-lib_0.13.1.orig.tar.gz
 1abbaad23b61e069c743d4abe9070412 2620 coq-ext-lib_0.13.1-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiVKIACgkQ808JdE6f
XdlZPRAAvQeBgCn61tYS9N8Mm8Wi8axBg0CsbTBmmFz0qINFrp8kKdZbt3qW11LD
wAhneFHQ5oKFmTsD/eWgKbWQ883cJZhlYOgivTtBFsw761d4yq5K81yGQdrxPXY9
qZ24TyF29ww6nSl25QpDjvMzY0on6wdjAHTiZJ222rDCA911R3AAQ70LUKRQGJKz
DUX8ahbXP0UCvXrdLk+mie3jTrBk/5/JGzsraMvUvX9l3EwurHtsOdBHVsbVnrva
CDpcDJwwv5sRDsRLURwXJxKOXzUnC4gW78y6UUfRRR1UE5MYxsQ1ZNW7EyLUbTkM
+ivKb6TnfF68DceR7PTmgfI+FPFdT10Q5QU/vuO7bvppXZX+gXb3OpMYVa0mOftD
drjVBM1xO6FxOxNgMiGTUI3u8zGIqL2Ci7g0F2y1ZltSLRduvUTCKaDYMMb5kcnl
nrrsODNA18c2dzDIuu846wW6Qw4utXqw7S75kpYq0lA6+R2c3iXwwy5zXf77gsT8
OixSv0jMrXAoHx5BoYn3g+vqWHmMBmnFzmq+/659aThlW4Ne/dwEvrVayilY9Fct
QBt56N5e6QZ9A7lkvVY4pdNK2RTSqAgd2N2vuXZ1PpeHWfVEoXQY8Ypfi4h2Cmet
Z/Nt5I758glC+V8UgN+s8imsSE3BMiAn6lIY/cOBEttjtUZn4wo=
=whjx
-----END PGP SIGNATURE-----