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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.11-1build7
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
 f6fc831b61003fa928180ed8a3b81492933d5a3c 2436 coq-relation-algebra_1.7.11-1build7.debian.tar.xz
Checksums-Sha256:
 6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 e912e14b794d25f9e11f639bcc1e8f9f0f63b602cd3614718a12299b0cf78bb6 2436 coq-relation-algebra_1.7.11-1build7.debian.tar.xz
Files:
 5475a391967d8777aaf0da8920cdac1d 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 425baf7ab68d5feb40867b5e47a8a879 2436 coq-relation-algebra_1.7.11-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmg2w/sACgkQ808JdE6f
XdmyBRAAyN9+SyxMS7lYrjqCVEThskoiErazUmMHmTDtf/XSEKP6zm8HL5hrnGX4
Hm2ZSZ404gJSwK4Y6ak2BlW1o9QiuByExVtLKLLRzwXKoHxHGK6fFrJLOZHS0PPs
aNsQTKlJeshkO7U+Sx5dfALLLidb183Y1wtxUvDn0dRSDa2u8swvkGI8zL6ee5IP
RbukPMP9dIE72lplV7UBAy98DVAv1J5+uCUHhDnhn2ggZobVee4/d4eNtsUUEvII
ayuKMbEmyVSkG1UxYgGgX0WBV4CKXjlE6/xeE/v6MFZWsgS5e9v558yH9Bul+HGW
YG9kJ/NSO3+lmrPV/yh7nOwJfSuRJkVmXGrxT5gwmVfP98jNltrDqxr37D6Qiey7
1kQkmM6KQMFxzmu8e6fuYJd00WqAxz06OPGXbOmtfa+5ABvz1MIB6Dtmn8LDt31V
Z0WSnIxug1aKZFYZoCOG4RM5C1R75FCa2BKQC3tOCzXTIQnY1RvdrSYUKEEpHvXK
HaGM4bwSXRZoKS0oz5LTtgt61fHFvXYGCdu7e4vOsN2ibtxTOLXI0/bkE85AbMWC
meiNFjzV4yEZ2UG7d0d8OZPuKqlpn2mJ273VwyDlrP7cYChyIwehk5/p++rULpdP
i8B2Sqg8b/NawAQXL+xG+fyq1W40PU8/PJ46KcdN/VUFMJz3JRA=
=64Ed
-----END PGP SIGNATURE-----