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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.12.2-1build1
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:
 a8844fbe6ae8a72f81fdb6d833bb34f434149c76 85093 coq-ext-lib_0.12.2.orig.tar.gz
 af1bf31580a11de22e6d0f8ffe9d8ae886186f6f 2416 coq-ext-lib_0.12.2-1build1.debian.tar.xz
Checksums-Sha256:
 075439309775c804e8ff01a134871dbb4fba4654bdd068832b21bb5145f11bd7 85093 coq-ext-lib_0.12.2.orig.tar.gz
 2470179a3da710f62261367babba67f2d90235cd791a5047c3fd72b9d0004c96 2416 coq-ext-lib_0.12.2-1build1.debian.tar.xz
Files:
 5ec0acf1cece75511ffa7dab5ed35e73 85093 coq-ext-lib_0.12.2.orig.tar.gz
 4f6522b88efc75744179f0151c67c532 2416 coq-ext-lib_0.12.2-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmc+m3wACgkQ5mx3Wuv+
bH3QaxAA1Kid7BodbFo2hpKIVRDkZ3MUzkvPf6iRQBPC8dOUCsDMv24bee+4g0Xk
luuLQ4Bb/uemujaEU2yRz3dynAH1IudQs4k0Ry/1+JyxR8ylU5YDzZijmq1qD0gP
w+Vb+VpynNUV8dxIWTaAxwhz8ikNwGqwAmF6wsCwtgkO28pYaCvMc2rKOHVqmT3y
tKZA3jR0dRL4qFZOZTo6H921/yq0tNsbeFJXJhA45rYPnrqDUkIjtEmWHtM8CDEa
jIllDSpTxi6iw+uWhBMS0P5aur9Arn5DSpvKsNsZ42nRaU4Dzj4nKJNvpuhbPWbd
vHg40ElbnO7Xg4vqfPNMkwznuGPbJT3I2wuEwUmzPypACBjIfkjnUbTsNLNM1hkn
xEEbp9LtazwFADBqUScMKV4+Bb/ONpXren8a4T1gdLjabmrO36QFL8c48rvS8awY
sgqaie5KROjOji1cW6mXduMrd0npOTW40Cvid4hFx6pPQRBFT74O03E+I+3EHes0
G8xRDaLzSXID5Y14UoigSakv0GVx1dWIVsIaoKKQfTk0zA38Iu6XsenGbYogZj+3
/2n4kxJqpRYd/HaXoqH0X8LUhpumYpEgC6CKyeNfjmBiJ0arZpKzHTVFize+Rcg8
PuJdvsIbW9LtL4VtxYICzLYnJv7yYnkjL1broagWaUsQ8Ip7UeY=
=AUpw
-----END PGP SIGNATURE-----