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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.12.0-1
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:
 e55370aa1341593d510771de4bd244c8d7f63c5a 83450 coq-ext-lib_0.12.0.orig.tar.gz
 b5d74143ee167d2902e37ae12dae7cd774d0da6c 2248 coq-ext-lib_0.12.0-1.debian.tar.xz
Checksums-Sha256:
 b46b2e139de395917d1fc713b33511a00b48674f2f02cf2cc1af209fef223b51 83450 coq-ext-lib_0.12.0.orig.tar.gz
 59ec97967a778b444a85c3ade1fc02ef0e01482d6b07ac634e9a55269b29fc76 2248 coq-ext-lib_0.12.0-1.debian.tar.xz
Files:
 ab08c703d854fdb90f35cf40614e089a 83450 coq-ext-lib_0.12.0.orig.tar.gz
 3d768bce935197b7e3d216a6ccc7b08c 2248 coq-ext-lib_0.12.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESr4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRarYP/Rolm99KAMXT+EGZlJqJEDSZbIDFqUvb
ynicpCaQ115WafmA8IEu+elEZ/+UYQTVVruauZKuLe0RlpfBy/cEHXD7u8VtHhqv
2cz+YeKavi+ROP0dBT+177WgbH751uFqnrTdjXX7ZHZCzlgQNcMdklZGgfDLW+j7
NaWmzbykc/Z5Ujq96E/FnnzeCnEQkgJj2BqEOZxv6dE3z/fvlwlB89B/IkNAzeiZ
shlnEmWQ7Zfh6zqGPCch90ZfLifTaeOiZcfXB17onN9rTv2BzPgYtOtobYjXfMyp
L30pfx2LM28kmaMb9ShQNsXO3yp0ZDJHJ0RRVLupUYhTO+NriIPrT1xGQA4uscGM
WSRk7XUt/zfhPXXfvBKn04//aY1+oUTtk8G393zDP5GjXckHOTHbbL/BHnSeLl+j
Jbqf51WQYAJ52rE9c2Yu0pb7DqwKgzZqFYUPrnfkyP7OGK/BAU61vW2R34+2CFxL
qTXt9HN1GccvM6aI9kFRASWHJLcJJbLxZUiVbysWlbiJFxVnHLofFhxkYVvW6wuV
La0LjiU0HyoeKhjKOJ+YvIGRMDSQHaAtG3k54f9vPP0CN1Tr8An434JofW+5KpZQ
38LgCgL2N8o8A9wVMtyJR9FACOco4MFJ1iNyXzXmB1aClEote3Oo/INRYg4iC6i3
o7R+Z/vaMCz5
=acLK
-----END PGP SIGNATURE-----