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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.10-4build4
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
 2c79ce5ab87360571b3a16c93fbc555d09005228 2364 coq-relation-algebra_1.7.10-4build4.debian.tar.xz
Checksums-Sha256:
 e8e17d4cc5655cd7c1fab0b994b7afe73cdd043091d5d1aa30a43eadf9d2185e 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 efe6154af9d23214df91b92231153db937544d0d30724369a7e541b54e166516 2364 coq-relation-algebra_1.7.10-4build4.debian.tar.xz
Files:
 4d7a2b9b1b74b922e08d784f62dec752 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 937edade312c99f8e44506410b3e59fc 2364 coq-relation-algebra_1.7.10-4build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbdD6QACgkQLIPbyOm9
Djfe2w//U9Je1TRXBcOh6kEMPlvGYWfJLJhQliwujdgCUCXCwlhxJJ4TJR5ktRPZ
W4qwUKf+MOjuToKfuhQCF3EWqMFq7sekmYSOnm+FgHAKNGwBoL3jG4P4fyH9Phfu
pN41VeM3BvaTQG0td/zueauS5czDDJdQIz4ry/fL46qrIJs8owmzj9Vbr/3k9h3W
RmwCtykwp54EMpeanV7Lt/Yj27qE+JF+C+q5V2UDH7E3Kfyvk9NJFZa6MuRma1RZ
+6NDfGY3ppwDV1sPugsaxuxLAbcHCNAmvocC/63uoio+k91DUmEnueLklWYnOHTk
u4ldEFKr6eRswFMPmvXW6Q0xlLFFhgPj9We6xUpMWAAT2vgdfG0Qa7GfJ2no/0PV
/OPFGgXelU9SMv1mtCZtdl0rZALG5WGr+39pCusLzG8qlWJ7MSbAxnjOn+4RV3Bk
o+jPvNx6JcY8n5YEpGkwz/pfl4rp7GSeV5q7V3mZeN33bkpu60HfpyiRGJdKONhA
po1u2aGkTbU51pTs3vSfXeFbG2d/Vpy3Hq/r6O4oqcYVfu2Y708UyV7HyHYtb8Hz
trH2yUH3QkKNFf6Ui8ST3v8DQQmtlmao56tl8K0N1VffwnTb1t5DhNpxLXYUtpkB
yJiviKyfLZwu1gWz6Drpp9iLE7N9Ph6VxovC7OWZrxE630oz2zE=
=ZJOE
-----END PGP SIGNATURE-----