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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.9-1build1
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.6.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:
 bde84cbe3434e3c46dd454536c7752ae2ddc0075 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 1877840d3b20957de2d8f6c5d2cb950c895f3b0c 1972 coq-relation-algebra_1.7.9-1build1.debian.tar.xz
Checksums-Sha256:
 5bafbf7083c0723514230c6c787e6a4545f9b45d1053e7ce4c0f177899d87625 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 bfc516e42271cc5703c3a9c002d49a5209bf32429026697dfc9242546bf760d6 1972 coq-relation-algebra_1.7.9-1build1.debian.tar.xz
Files:
 7b402eae531a30924964b690e83f5644 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 3397ec08d8df2b1f8802eecffd918f7a 1972 coq-relation-algebra_1.7.9-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+sEsACgkQ808JdE6f
XdngWw/9HyNSCu9Y6hN6Wf07IzzFuwUgLkZZ7jFvNDVH0Cw1yaax8FmD31RstgFw
hbkgxDRmMPhy3WYTGqMJzOXY/uec1KmwLCgA14cd8H4RfVvRV9Z4cdZ0Gtzwg07w
zrKaOYHgORu89TGSS8FF6xYKhEgaVAkn/ZNmEGJCg4nxmzedj1c+czhaTEIzWiUz
r25FhpIh+27v+16HyNq0Wj7lvO8x70y5Op0MkPERdDKd0/nHCOpERMJpxOIgRxv6
QGtmmaTkIlcXJwQjiOzDjKZFEa8X+GG9OlIG/M+P/J52HfCTxAxQlEhEBJDrSS9F
1CxRVn4Zz/R51ADSqmjev25dvZNKBxo6aGRkknpNwI3F5QuP8Mj/OFOEXSypYRwV
NSwBDwjtDXlgQvy+UzLqlx2SxPRldDFFyAIHzB7JmH7mZSLjZkjT47XD+GuDlsPV
Q1seFNZOOk5LSaB7lvL+ZX8H0t7zkQet2Ptn4+BJHcv5qvTQBIAG8B2xYWK2GNTw
tG8/Fj/cCeYrUA+qFWDq+6wms5Buz95a7Xy/GbvX4ag8G3ZgKZZywsTwOqz5QvB+
9pLNlnu/wWXR4HpXrIWEhYyq6xFaQSqWkjUonW9EL0ihAfFqYC1JwH+8z+WnkOGV
Ng7HIMzKflQl8/YS+mRG7c64RcDVbGWcAJtcB8IFCRgyDSLSkFA=
=hfdd
-----END PGP SIGNATURE-----