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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.10-4build6
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 (>= 8.18), 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:
 04569cc1dc8c7d072e1ca59216e6d706a267f73c 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 7cf4349b3886830cbb83aaaa789acc1419221c76 2388 coq-relation-algebra_1.7.10-4build6.debian.tar.xz
Checksums-Sha256:
 e8e17d4cc5655cd7c1fab0b994b7afe73cdd043091d5d1aa30a43eadf9d2185e 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 1a5bf9cb01d25b527f8c1fe80a636677c4b76af130f9055dff8f698d12b14887 2388 coq-relation-algebra_1.7.10-4build6.debian.tar.xz
Files:
 4d7a2b9b1b74b922e08d784f62dec752 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 87ac5282b530ae368ea499c6e4073cd3 2388 coq-relation-algebra_1.7.10-4build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbppZcACgkQ808JdE6f
XdlNFg/+Le8cxyh9baf2gldtXX3iQudjaiMEstbvTOtGCmMzcwO+ZXZqcxlb++bk
3IPwWW3fnwijsLXcDelNZQmcvYg7/ilPvuGH0AkzVypazlF+w5ilI7wwWQXRZmuK
6SnfZCWxMNteVe87U2GfUQD2ugH2gAzXq4MO8lnGfj+D5Y052NfLCBbfqvb1EQBv
6mXbaEWdoT8+Q6A4+CrmuRsQDhX62wjmw24pjRz2Zfoqla24MHluU/P/yuSLDcJc
8VDvnLQukILuhbywlS5thDVF/7D8cOnSNymvfvyVlhLYztPbsScpVWRf9fTIEL6p
DJt38INXiBk28JOmjyrFUrin6T1Q1oOeKXxK30m4EiqrAsHRmFtBFPCzPY+UVliu
kmvI63OTJdIdBIXnAU3yO9llS7OYuRGk9SYbIcL0TAa8a6jmFBMqkPRNKI44d1Er
rZhPYugS63+FvI8MVdGKLXlvl9d826AzGClr7stW+jPDfnvJ08I92dFdxW4BFS40
SDt980EcTxMc6Nsm3fbO1NJekWMQ5EWkgg8WU+wxqXTf/OfCE5uisUzy6ebzhDJR
cQN22ompohSkk7t654+hF9qB+1X4lo0n6Xkzu/Bcd2myIYCwNXWygRK6WTQeUUuA
EOWuNlfXNQrJd964gjLyGeYdX4hvJ44AaunqMsk343ERzcnHWp8=
=e5i5
-----END PGP SIGNATURE-----