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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.10-4build3
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
 ede6c9a3899b34b8ea7585089b2874c395d21e86 2360 coq-relation-algebra_1.7.10-4build3.debian.tar.xz
Checksums-Sha256:
 e8e17d4cc5655cd7c1fab0b994b7afe73cdd043091d5d1aa30a43eadf9d2185e 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 742aa6ca38c42812628d30f0b0e2da64af099c253242583623fd7e79f6440b51 2360 coq-relation-algebra_1.7.10-4build3.debian.tar.xz
Files:
 4d7a2b9b1b74b922e08d784f62dec752 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 4409f355fb04de7fff5fbce15e5ba184 2360 coq-relation-algebra_1.7.10-4build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbb+vsACgkQLIPbyOm9
Djdq3w/9E5ab8zTE0k+3d9ejMjrrk00VNXpnoRMUN9mJHq1PKDWb14BYFjKK5OO6
p7nM7jRHyJsQfLhAI12D1baF3N8vkYIBxd6dVtAuCSncsa7wAsh8qYngqkN3Jvc8
cqpJNi+8AYpqJKIhWQvw3obI87z5TM6BVewghh3vojd7Ql6J5DT0MeAvOJ4JBwbe
Mh8zDmByjiz7fA5DvAqoRXpJwWQTZLAPM2chE+9ibL5K8/vFiL/7xlTwqqYRMQ2S
zIsKWt9wegpSCmgTWpEg/BO4de4EMtySD31STqJdtkT2kz3ZKDZrDWVql12SzhCR
T5nNQDvzyWTpbstd9ZmA9Vn9nYyhTKxXucI02JexJwprswddpZFUSZ1jtiI+GRzY
1vNrff33ARsRKrIom/6fu7jz0FOCMl0/IF+UTwKPT2/i9tTNibl3+WoSzau83/ZD
xQV5yyvgwb4XEIUV4QtkxTjjvnqVG7dUWWARLFxTVYD5jKWoWcEdTaiOdgQiJN9A
a/cb1ilu52geLLXrGjnxMtCsMLILcoKV602P/AcAzndoFq037KO/H4NvFsed7K5a
gCWUcbG/oEAMrLMPuXXtNs26ImQb3fqhJtUX47BGgznk0gfHoWvT+hdfo7JBjGm5
Hh1T/XDFHEGB1WwPVh2w1AgeFFpFHtcHiokZ/urhKAU/hl0Zsq0=
=LxS2
-----END PGP SIGNATURE-----