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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.10-4build2
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
 1a709527dece3a4dd8922174ba71179bef1d2f8c 2296 coq-relation-algebra_1.7.10-4build2.debian.tar.xz
Checksums-Sha256:
 e8e17d4cc5655cd7c1fab0b994b7afe73cdd043091d5d1aa30a43eadf9d2185e 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 7c661308bbbf4a78bec42daa5e3392df38227541e1cf90b97941c6dc1a7d9ea4 2296 coq-relation-algebra_1.7.10-4build2.debian.tar.xz
Files:
 4d7a2b9b1b74b922e08d784f62dec752 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 cbd06a457b378de37f2b482b0af94c17 2296 coq-relation-algebra_1.7.10-4build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma9owwACgkQ808JdE6f
Xdl7qQ/8DTSaJE0O47np4BCwieSEmVxriMyb60sTTu5iyS6Wk14g3raniDZ39jlP
SvH9pmNWPL5udUg2ISdkf7oZ9zFsg3GAOy+zlDcY3FkDjq1mxrgTfPeoL12xoVBi
jxzyHgXP6CoK6ATTwsOMYSv2JewLKDIn6Z4ctsQNbjRBHp+1izAwxu3aBcO1ExJx
9iYcRUDdK8eXx7fwHIVq3Sn5pozOYDg1XSLnin4CFSmEwfMuCwcVmL3OMjK9Qbkg
iGG8iF19ItbxHj9VavAYa95tUBj+Cb2fIb/BNQ8pMfpfjRJ2gPdUx9gbUApUNQje
GLxBs/1lHWTq+BmPc4WufpLMIxX8/rLCBptJVHCeSluiOITFxz4dcsceWL1D3uTM
vR7MF3bZgcfBs+FRM7hYxFv1xrYzgsoLGGwanqvHiXuO4aOQmI/KEk0R223NIZjr
wRPsF0Zi2BZPnZ7FUWFXYmyMz24utA94R4PRli9gmQU6ZFHV0XnPtvI5LZX86aNi
aMr+fBhytoMawZrlX8vLX1iFyqtbAS0kUho48Mt3kxRaXWDyKMa7QdmAmt25BXsB
3vULVmfe5cPYgF2hTdCQn0Spsrk0MjHbuPXIQ/6lg4ivt7hp1GNq5MkSsA/xFhBd
Yr4SC6wiCy/bv4CcO8WuCszeGp0HjUF0VnZV4/AmkUELRQqwXGk=
=1dMi
-----END PGP SIGNATURE-----