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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.9-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.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, 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
 574c4e8f872c0cc6347acf45b697c834930b3c03 1896 coq-relation-algebra_1.7.9-1.debian.tar.xz
Checksums-Sha256:
 5bafbf7083c0723514230c6c787e6a4545f9b45d1053e7ce4c0f177899d87625 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 3baad615259316a6b8ad11d9b21a0a50e83f1c238c68401abb6fbc244bdaf4a2 1896 coq-relation-algebra_1.7.9-1.debian.tar.xz
Files:
 7b402eae531a30924964b690e83f5644 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 58397a4385f800f9fda2b7e056d9e4db 1896 coq-relation-algebra_1.7.9-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxLkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRC0gP/1jJxngeGtlXLhBMXUQiHhdkEDrpl+QA
Ih5Mbmq3/2T7sNRsz/DOZrEvE3Pk8OfhDX2+Y8HDZedXLxAACW+ewYR5prR9L+z1
imXe1Z84xnWat6ZUZbB2uz6bDaCYvaaooDcQW3HxBWvvbn8otWdE6eXKZaw95UTm
cZBb08rXd9xWW5OoqF6WXJUyAh3SnOyPrpulgHN8dMlpK0leCPr6WrDq/kgexdFF
eH150zzXV0TImTdm1B5RZ0JF4lg4WCwdj5coSG9oPy54751TkMcUhLIIVbhYJ9jU
Ut0HrB03syrkk6YXsOYfatxdU1xQucWtXgvlQ9b9G1Glh+Hcxes4tKwsjFLcE/dY
Si67xrcy4Ncx+Lx14uZ+VeaISuAubDC5xHNbl9DCfcjOOkpJ+hv5QcfsS69zmzmK
7VNQBtkbsu6kgNbaBo7OTblRdAQy4gz1ZKhDUxP8jfohKtcnORB5K+x2yiElPr5s
WzpeofSdbmnxv4ulAtVyyykhfvFcIvtE5flrPSq7StB/paQJlCkaqBSCcbPfH/5P
iJajBH7rzR4JDXYwa9/bta/Uiardj62T+HobaQDB8fRHdYoVz10JSTl5/uPrABkg
E3zpBzpIYin2DW5Hgu1ZmWSV5ZyeTlI1Pj1WWAjjhngPhYCsUWPzJTV9OppCw6e3
FM90m+bb7l5C
=OkPH
-----END PGP SIGNATURE-----