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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.9-2build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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:
 bde84cbe3434e3c46dd454536c7752ae2ddc0075 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 254351c8f6280f6af88db66648b644c62441e6b0 2524 coq-relation-algebra_1.7.9-2build3.debian.tar.xz
Checksums-Sha256:
 5bafbf7083c0723514230c6c787e6a4545f9b45d1053e7ce4c0f177899d87625 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 f072551c9bab859afe46aff62f282efda03f8c7da2ee6475845a3df2fe461041 2524 coq-relation-algebra_1.7.9-2build3.debian.tar.xz
Files:
 7b402eae531a30924964b690e83f5644 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 c8f19fd5a6ee1dcdd5947ddf31f37082 2524 coq-relation-algebra_1.7.9-2build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cI4aHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0i9A/+P6A6KV7dWuxmg4aHYBQq
U2lN4wcJ1FkXZ86UcKGHebUq0SkZ4GaVdZvVvm5FxGQTQaslpBf/+KdzPO+1D6mU
C4Ke4/IUTS0IdXfMf35RhTyyLpV7PiOnQwaLSDI/SpuF9J2lxa5BcXeoutvKiB5Y
+e3cOf0MAZyEqb1sbPDtU7O2bbkZcCjUif7tgdlHmZwz7ZgeNGh0/D8f6N6opUOq
IU89DjsSslIKXVRekwRNeONkDKIblk4gWp40FBe1hxJlMPrhOcB/GjJ771Ythi0a
IJw7jvHUFL48aKXG3ey6TEmUEqeAszHqieor1X+jn1P6SHW5IAMLABofBrp7xHB+
AIwNEwXcz/F0xVC/Nhr8OmxL9MTgD3fYnw+/IwnpFuIxx1hA6mQ1gzAVBkhi1mtf
JdCtAX+JQH4IZrY+Y+0MsE+0ErH+Hwgxj5FqeGLfsSa2OjH2ghF6Yp5RvdBswNhb
sFWRNA9GlUJv7UerWW31h4XAh2lF8zavL8rdcmthpxMfBK3/+KFWArXgdt0hEWZr
qkFQsCBUXoMs2Y8wFDNZ//1Fa6dMBikB0tNz+X8v1fE/V+LWeuKrhf9AVPEuPg/C
PnvPofnePJDig50o/TNWftGbKJjT8B6aLFYByHP2X0sEoEtMhOGccWnxFhHXQfxm
kTfhQOA5vI9wBOHZ3Olr22o=
=i7OR
-----END PGP SIGNATURE-----