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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.11-1build10
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
 ccda332f5b14592381614dd08f3a1f7d7ed1c94c 2484 coq-relation-algebra_1.7.11-1build10.debian.tar.xz
Checksums-Sha256:
 6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 c649c1cc2dfdc18bc9e8e79377315bd01f0d061d6f31d49f3420a9832ce2d8cb 2484 coq-relation-algebra_1.7.11-1build10.debian.tar.xz
Files:
 5475a391967d8777aaf0da8920cdac1d 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 aeed41e7cd7fd870c59d21c8bb5aea8c 2484 coq-relation-algebra_1.7.11-1build10.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj5QuIACgkQ808JdE6f
XdmwIg/7B8JYfz39oa/2K0HbyVxMKe6rHnQj7FkXfk5HJt+wz/+bsG8Cdj6TtL+S
VuNNIBZhGtk0gdHqQ9edHuuoCFoUhQn14z4nj0minA/llb9XPeL5jAd43px5jiug
OlcMNdd3LBB20VU0/rMCdbSiDy+PHJ4mk/VfT1pKSLv6oiKvH3lmSelHYZIq90at
ArGViGQBK56bDN8F+xiI/C2vHE6I913rwXLOZVbZTvujpKNtBrfpTLeUatrGd6uE
8m049sVbrXai7A/TD9mA/1oEZvJZHP4m1KlaBxAtL7RkoLbsl4nqyU2TMcgfbWPJ
Xbaaxc1wTxINhm2hioqDNGPweTEEhnExmjcU4VU0taYVZ5hkw3+CprSFSLA9Blfr
cYnK6SmWZ7P8JjF5LoLTNr7OWR0fFCXX1xJuK+CrMAmimYndDH8NlbFYXVHjjjQX
TYH/EDTqINlXSc5XsGJ/hrD5ZJOajFGYQ5ZrI4TS4AAK6awj5n9Ez9Fc7TOE6wti
iGhzcojRSWPG5DT1VvbggPyYcFWLpI9XY/R0HPtyxQaof+rSTr09Maq2UMfJml4+
2N9k07BYxng/3lgsA0xfAajUNPkFI4z7RqDV/y0sC7QdqBzYvIQUT23lyFE/se5C
H6ZB89gTo/BA/5XFsEwDCIv7fZ9luMhmC+l0ZQBsYGR3U5IAecw=
=pX65
-----END PGP SIGNATURE-----