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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.10-4
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
 8aa8ec5e5bf13f324b10ca82beecd3494bb44f1e 2220 coq-relation-algebra_1.7.10-4.debian.tar.xz
Checksums-Sha256:
 e8e17d4cc5655cd7c1fab0b994b7afe73cdd043091d5d1aa30a43eadf9d2185e 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 da8d08fb134acc4b801c29b3330e9186c99ca1f70e1d2ed9ceb8d94bd44f380b 2220 coq-relation-algebra_1.7.10-4.debian.tar.xz
Files:
 4d7a2b9b1b74b922e08d784f62dec752 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 ecad10ef82e9bdffb49ab88aa46ac029 2220 coq-relation-algebra_1.7.10-4.debian.tar.xz
Dgit: c5b2b43a621e2cc1d8476ce887b08bc02a2bd787 debian archive/debian/1.7.10-4 https://git.dgit.debian.org/coq-relation-algebra

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavHEoSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBSb8H/R9ofG0Beqfp72dkcQKkEiTep1HiZS2h
/53w/jvsejaxyfhI1tKDvzqYgjoEVcqKZHKlQR4LOdCYJy5GlJDXhfEQpqTL2fb1
bV4soZrNi3ABw+oAVcBkae4kq5gvdmyZT/tDYwQhxMhtx5SafqevRxWpvkL6YWFZ
repF2EJDxVEjoF+GLYJWPbOYCNx1W2tABApIxCnscqCd/H6WajjtCnrY4ZaslAFI
XeiBggUac/cJmFkdtWDEkpJz2Wnv8OzPJe25Qf+sR2rRkpgozMNydbmT8SQyHNPq
hmRTkxdrCsvvm/HuInoJITrTapmiCaWW+30OiIwIQvkgzkCJkeRmJMs=
=esVP
-----END PGP SIGNATURE-----