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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.8.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/damien-pous/relation-algebra
Standards-Version: 4.7.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-relation-algebra
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-relation-algebra.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-aac-tactics, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-relation-algebra deb ocaml optional arch=any
Checksums-Sha1:
 5c4f1fa93fe36b2e95b0631a6c6d187933da0d4e 197632 coq-relation-algebra_1.8.0.orig.tar.gz
 ae1d58e7549976320b9931f5bf38c270177342d0 2312 coq-relation-algebra_1.8.0-1.debian.tar.xz
Checksums-Sha256:
 18f4e6ba4bdafa75f6137c2b184b5295e44dc3325dfb3315682ee98ef0ff8814 197632 coq-relation-algebra_1.8.0.orig.tar.gz
 b423c3d56871d17d6d52a250469d8b887eefa310f5390d351315856bdd2f55ff 2312 coq-relation-algebra_1.8.0-1.debian.tar.xz
Files:
 bb30cbfaf255e062407947d6d1b01098 197632 coq-relation-algebra_1.8.0.orig.tar.gz
 e5783ebbaebe0c2b272c71dc6f3dbd82 2312 coq-relation-algebra_1.8.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDDqUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbQjEACYCQu/d7A7G96c6YTwRzsg
1zxd772s9yXDRnAWk6z0GrlFJVIxEbUxDqsYqf/rxqUHj2RenoCjxyUtSoqgdDgc
I0X56rHYrMXcrH6/V0wrfra3BxLuCuzByi2WTs74jUC0rKe4SLffViio+oI2aZdq
THJEDhkeFNZ5N0j8WHUbmRI0w4lzHAFG6nSgA5dD5A31WnmpKzsri7JZ1U9aUcki
RTTJCT3GFq/m/2bPGH/xwzLpgSHcBQ+l+Yy5eQc1L+unXmtcBvrZIqZ2SRK5epjI
sMSbv3Xe5DVdZEaaDzUNYysOV68Pf6whRru5rdaMlY5BgL8HOOiuhST7ksnvAXVV
gv3C7sqxtIA5sOdd7oXmhCPLsVDCtk1+X/EmayuDIgpCWZH4ic/oDDzJ0crmkH6e
m2ikbncqvFy/v4pFgpk5RJ73BnuQe3IINtGJUogOlKXiQ35+1D78hZDQCGWqQJXR
fndwJIo9+ZzKgYZLQpdwhSe95usflT2wARvlltzD2JHLTQLPrylhw8FxkTSQsbGx
sW+tc8AnHv3nPJ6IB8w+H3lr0XWGe/dEvy77embQrxeAiHzw1OrX+MI7NSVB+D6n
tb8FaVrIDYSl9XGwE5nm1NwONEiVBIDD/QqPHX4sJ7tYHReYROvCjO1aXU+Pj1Ra
Zg7ANZ/J3NiEar/3M/SP6Q==
=JKhU
-----END PGP SIGNATURE-----