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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.12.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.6.2
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:
 742b9f4837564033942150a71878b484f4d17657 84299 coq-ext-lib_0.12.1.orig.tar.gz
 2455e89dbcbbf6896f69ab060bfc2ae9df0c7ca8 2504 coq-ext-lib_0.12.1-2build3.debian.tar.xz
Checksums-Sha256:
 e1f994e261cf57502c8aaa74513c35f9ba82b97f380da1cc0708c02cd7b5964d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 cb303f3084a81c0c4f1e3d9dba7a6e2eaf8bb5c6aebb412e931b81aed61a2a40 2504 coq-ext-lib_0.12.1-2build3.debian.tar.xz
Files:
 ad2ba3b94f2d86c45e89d9a681ea2a6d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 436b9adfc81c21579b6949ad05e87806 2504 coq-ext-lib_0.12.1-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbbhecACgkQLIPbyOm9
Djeupg//Vzz8dM457nlKNE904n5avwUTWG9lng+RnDX10gab0GGs0SQo1t3PhqHT
RpVbLx7Zo4DpYd9K71OiB/2scZU6ZPxFNNZbhw+Vl/Bt56DvPvjtnVGfSnU2tNoj
NpZ17JYZVqcmOW6aoQ6KEjxYrCPOk63kVcHnGEuebvedjlXVcEXoGpDP5gxhlEeA
ZbxR8rurjtA7sbaILvrUKUWuhWmMUk0BEGkumaV9r3TC7vZ0EVuq79WoLh4gv5oy
TCls7xmjbBbAUBfPTmVDjpRb7zqM/dH5Kmoa/slPebr6XPLW+O+lcV5uKNY1Ogjs
6UlBq21pyAvppW7oyemJxDhx4QwCIxHe4oAZ23dpWZblaQG2C7I2tGF8ZAP4HGOV
nDBWjIQDmDl/0xdrCp3ReoxzfV5romgbEr/9TSBzDsC4Nd7FPwoOJ4Td9zIyEk67
AU8ewQu14oGWkhtXPnP/xmXOMCNwg8edEdzcVgAGHRIOjpVycL4vrlKK3D2E9BlX
vzzlB57Jy/cM+lgDCNCsDc5v6tcbLv0cQcvQS1oCEQDZnFq2AMB31yfvbFATd5OD
zAfA2UYZeIBs1tpxayDuEIVxp2TErw9/PWHh8G3Zpw2qisL7+BKyawqZ4KELuP/p
ACXDPBDf8TMaDTVZYBd1S+B2vicKdhkVM8aLWKAuwu4kwnfSObI=
=nJyC
-----END PGP SIGNATURE-----