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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.11-1
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.7.0
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:
 604c4995145c10e227d848ec6c0368f6b599ace9 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 6a32abe53b04f618f4bca85326a6eb7861256ce9 2232 coq-relation-algebra_1.7.11-1.debian.tar.xz
Checksums-Sha256:
 6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 c6aec2faf18ef624df3c3c0069800a8c7759b274a212128bf36231de124f531e 2232 coq-relation-algebra_1.7.11-1.debian.tar.xz
Files:
 5475a391967d8777aaf0da8920cdac1d 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 80e749da2ff5182296a73fbc7d603ca1 2232 coq-relation-algebra_1.7.11-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9smsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR6ZoP/iSaRP0WWYolZlWFc8w3RCIS/5u1Q/Fs
eGrO27NLOaIZffSqaLeq5GDS7F40+Y5kSzd5YXK2Cylkdu1oZqp+G86EfbQZhJxs
lUe3o8DGT1Uz6czuCJuCYJtoA/0cXQi5S7hYdlPYiAPf40tjmruSvl/OrTBRj6+J
tNWGkOGJX59jJidJYFP62fx87bu4CBpcJxOIfC0u6ijwCqrJ6a72OIKiiHrNO9dV
2GSa0gjQVM1eryjrD9sigD4svLoUvcn0U4s3yjFgn8YcLu9K1z7uyGKLbpFbKnE3
Nmpm1EDOlWXA2JqdB2ItU2FnViwosPX22kjN+QBt85Bd5jk0amaHcnxEeb+WHnQ2
FbsXmwFRAQ2ldL01uU9N4ExOcXGZSgVoDaTHCz1KwI2B8YSMVQrRTfuhAsa3Csa4
9Eb5TcrlRy2qi477vRy0FOpI7yJt9wun8IBe1acyoCsT+BcnQKuk0yX5+MEnjhhR
qnD++j1OhH/13V/n/0u3I4qv8cBtKQdjzXdAZD5G7PiT8Jn7O8F9k9/Rpz0qi0uJ
HzSu25ODi33jXSva00KGh7x4rwoKIiSTDCG5Dh5rA+slDzbPPT7N652rTVPCvBJ2
yjuR0QzvnKBPy14DJZwfXiKDVegtFdmmfvfIMogl54Ip+KjJNgWuckhIPJVOnyjC
4kJom2MyB1wL
=DXEk
-----END PGP SIGNATURE-----