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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.10-4build1
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
 bcbc0678bd60fcb2b4e2c8825e672111c8b6ab98 2276 coq-relation-algebra_1.7.10-4build1.debian.tar.xz
Checksums-Sha256:
 e8e17d4cc5655cd7c1fab0b994b7afe73cdd043091d5d1aa30a43eadf9d2185e 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 44f4511f95307d7b861452bbb6505b4367436fbed71da2a366cddbf28766e5c2 2276 coq-relation-algebra_1.7.10-4build1.debian.tar.xz
Files:
 4d7a2b9b1b74b922e08d784f62dec752 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 ea6e225fcc7d78a4dc0f9c1c1869031a 2276 coq-relation-algebra_1.7.10-4build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma2EVgACgkQ808JdE6f
XdlIfA//XFQX0IYX6MmMnxxNCzY+8OWHGA2V65WtEqOj8tNg26myD2CDu4OR7SpL
ZNNm0I3QU/87D35f6zaRrBZpeMhDrHCZC57GPueTyZryXTZQqar9zjeqnZ+vLIWI
uZzrD50e5nHdiYEnUjxxmzl/t5Wa/OTqLJhk0I7z9/BxHYUd+lPv28I1tJzacn8l
lsjLAfCk0bvsZ+94Fw3r4d2YYfCPVmCWNlI5bDPFS+gmlkVohD3cekEVkWqfRIFd
pDB1osLBqDBNcpWCvzXDQBQW8vcGJhTc1i4QNx7/dxzOGk3AP6WrKAhyZJ7G0Orb
nTCF++Wv4ByRCbHWmKyi08of1bUqdjmOaEo3p/MR1qnvhaz7kL6YnKNGD5PP7t6B
fjV6CyeGV7kRwNqMb/qbUpjea9nSUFfNmX/3Hh+8aEqsYuuzk8g2cFDLP5IhpeZ7
aSKa1SKCOGIL0vxjLqhjv9AgwtRsQcXDgvH6xT29chSDkaWPazYjPiHpcXPl502A
tfWOeXj6pECks+h6SNKONdsa5CHnsLo/kf+Dc7zdmlq/lEJwWU7yk5GrAT4qWKAq
G55AoTGN2ukKIJHzhmg2FjYOXLfyzySEkrYmZa3NYrmk9adreYoH07g+ozpD16dq
GbmhR/fSn56hnINQr/iRIxoGjfgWNPY+QmDY0226GR0jrsUNZy0=
=98DU
-----END PGP SIGNATURE-----