-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.12.0-1build4
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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:
 e55370aa1341593d510771de4bd244c8d7f63c5a 83450 coq-ext-lib_0.12.0.orig.tar.gz
 f11f2acd7f262d9e6c9a2107a24afdb04ffacdd0 2492 coq-ext-lib_0.12.0-1build4.debian.tar.xz
Checksums-Sha256:
 b46b2e139de395917d1fc713b33511a00b48674f2f02cf2cc1af209fef223b51 83450 coq-ext-lib_0.12.0.orig.tar.gz
 fe3cea201e094d5e645c35273ef92f509d36619c95618d16148bf8fe3930e03f 2492 coq-ext-lib_0.12.0-1build4.debian.tar.xz
Files:
 ab08c703d854fdb90f35cf40614e089a 83450 coq-ext-lib_0.12.0.orig.tar.gz
 0ed7accd527dc33d7490fc86b2d0c2ed 2492 coq-ext-lib_0.12.0-1build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmT4ACgkQ808JdE6f
XdntRA/+JccIVBlZcNPISPyD5FEkgSpTkF/la40HasuOAiAN05Hjpq1NgCuxNo0S
XtJegvvle+Y0sAXg/nJdQT5vEdB3EXw72li5a51PfFPCegBrglBmbhq1k1NL69xN
8c098p6pC3pax2qOZT6ez7uEegELgbYI8aOae+2xCZKXzJ6HatPeZmFA5dXhr3IG
tVZhYosmD1nCDPW36e0RqeVGzh6rVj0BMT51OkafVdw3kUfXHYGWnKzuYxLFNjeY
yo+X4A7DKxiSXg+EA+UfFI8V/3caS79IL6WC68QPvMW5awgVE+9EKTU9eeNmXPVu
HuLrw7F2m31oldr+/aqhyyeJpQSvhXFXMCOIpWEv8Ten6jQwFNe2ZioRaeIbDMVS
j0Ykfy+cpK6PnrvZiOn1s3bMO3dw+yUQGa/65gQSPub1DhxgmYRiyhsZfSp0piBX
QqPL0wh3/feKdZSSPJa35jgMVkW5kYuwNuQVxN5h03uvJAGX9wdSCEiZ7zWGXWOO
5p6DCsFNDwUSvPQ0vyJdJXeFKkzMy0c1xKz0sxukPwPrQvec2Q+FvwycLUvhUI5j
engIdOkEZSX3lT/FDWaBvd6S2HP47y1xKmmedEbC4o26WZ5hxYBYGN4Ox8FXncse
cKIUc1eCuPDnxHQ59opM5lritMPlme/5uwyZwTcMde7eh5jKyco=
=AQFK
-----END PGP SIGNATURE-----