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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.10-3build4
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
 9fc35173313af883d8d2dbc16d953f0319c0c0aa 2252 coq-relation-algebra_1.7.10-3build4.debian.tar.xz
Checksums-Sha256:
 e8e17d4cc5655cd7c1fab0b994b7afe73cdd043091d5d1aa30a43eadf9d2185e 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 dd3fa2ab6308d20018a6a4866a0911a178ca7cd2aa85a08a11d371287589c40d 2252 coq-relation-algebra_1.7.10-3build4.debian.tar.xz
Files:
 4d7a2b9b1b74b922e08d784f62dec752 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 143782cd12aaec13cac320a15309015d 2252 coq-relation-algebra_1.7.10-3build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZMeLsACgkQ808JdE6f
XdmM0Q/9F917RHvSZCgd1ppsjQ6sVxgRqhTipuqAFlsnHRlGuR2vYHb0fi/crH4l
1LWN8J7vE5V+VCu96yiIwlvSRSTFM9uIDoldSUdktT8FAL1u8vS+sjObDqynABVY
KTemvwD8nhQBUYKwso76sCzSJelClntrWqfO4Lj0IhPlMY30B/OUatPAWBg4GBUy
dskuApDaIkO/xtrg3m87jw36FoS+eCiqXQmXBz6Zc4XCa4wYITYlXLnuSLWi/Mbe
Djn22+Uct/hLhE9+AkmPLjz8SeodZQ7ZxmqwcnkI7AKVT/kbPiRYFB4fQGARQKXw
dhHwVwHlDAfDGm6r798AwQeIn2ZZqVzO6crcApGt1+X0LI2n/FK6kqcxhDGQNoIY
U/AZyYXda8zQD70t+hRzMbyOf0d1wBj4uyYGGpuI1+Aj+Scuic/QiESjbHTiMFtb
PfxxaZqN2mVGWce698IfmCT3kj6363Hr/o8sjR9D/01Zl+HNs5JtAJ9JCB4E9kPG
TfoY0/OHmmq1x5IoGhmBH5fg7dCUz0x6K/CifGE0s9a9Fc9zUautPRqALUsJinzK
Z1Vv0Tw1+tjJbJtDIBotdVKlNE074ao9tkf4b7Y51Oc/UeDaQw9IlWtXKOsSSlI5
GeCgACT7Y0sS06KxAz0wDmPPZTF0Z9hzUz1zEYTqmP/hAHEHHsA=
=DNCV
-----END PGP SIGNATURE-----