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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.10-3build3
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
 4d008d973ab9a9164834c91a143358e32d3d4a1d 2244 coq-relation-algebra_1.7.10-3build3.debian.tar.xz
Checksums-Sha256:
 e8e17d4cc5655cd7c1fab0b994b7afe73cdd043091d5d1aa30a43eadf9d2185e 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 50d718249603757f9957dcf0562225488e8193c06fdf51302f0df24e5c9d8c28 2244 coq-relation-algebra_1.7.10-3build3.debian.tar.xz
Files:
 4d7a2b9b1b74b922e08d784f62dec752 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 8e9b3eb338dfee9bbd6d33c960a881f8 2244 coq-relation-algebra_1.7.10-3build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZDNkMACgkQ808JdE6f
XdlrJQ//ZxJ2a0+Huy9dpOpmmt6zvYEsuY+xl2dNS54+6leWD3IztIUqoSEfgOiP
W+aXFeoJ5us8zrqwRznmKelFl6AsaFMOp2RwP+NCLHjfhv5M///sKXkGN5qdS+4l
d1iLVpf1Z0rDEHUza6ZUL0Gmdi7kAt5Ad/CE/1Q09PamEFO09s7BZepf8EzeGbna
UBEwptm9p5FhtCXp6AlBbQ1Cx0tXTTVw4+XfrN7tB1OCyBi+JNMS2kyh+rpYv8yJ
nMSzAU30PX6boNcAH4K7f6le8VraGLELBN8QdXviQuuWgZGS07LcWFiGBAK1sCJy
smonkus9Y3Nnf7Nsa09am8MhshD71aWZWhAJtu5GOxu9j3YPdpEJlLCyegUq2omD
uFv4afF921iLmtz8rqR735dwa1yhb9TJ6jGiqp13+z+ueOxFV19AyAd/+NoISP6n
2LtODz0s593en7STAr3/CTrrjRLyl5OSoD7xjkGbH0Zp5HEOwtlSsck65ByViZiy
jii1KFTXs7wwBTdYXX8ZpYY6ixbx7q458UBnaYkjEughqQW8lj4gBmNtvoz/gnO7
sSx8WwRKCEwTkKoVd7Uan4z4t5+PSpgXH0aSN3YcKR52hufjBIiAL0qF7LTEtA2R
PQQag1iL8ZYpyPTd4k+75DRogcGCVXcnk9NQdwkPjovdz/crfyY=
=rID/
-----END PGP SIGNATURE-----