-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.10-3build5
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 (>= 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:
 04569cc1dc8c7d072e1ca59216e6d706a267f73c 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 f5d0348f561c30d4bdc212bd722cf14468f5f97d 2264 coq-relation-algebra_1.7.10-3build5.debian.tar.xz
Checksums-Sha256:
 e8e17d4cc5655cd7c1fab0b994b7afe73cdd043091d5d1aa30a43eadf9d2185e 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 53da9c74a3170823bbd8cf7d74739945f456996b8e62be60df38d1ef6cb23002 2264 coq-relation-algebra_1.7.10-3build5.debian.tar.xz
Files:
 4d7a2b9b1b74b922e08d784f62dec752 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 0da7e920fdc29b881e2f9aaf1480c245 2264 coq-relation-algebra_1.7.10-3build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZeONIACgkQ808JdE6f
XdkbJA//RdTgz+cPF4yAMOBacAJyxCxyhLaWzre3WqWwnUMUhhj9Fq2lU/8TJCXH
XT1al0lIue76zp7PLFID1B2v/EDctJ1fG7x8V5KjY4cOmis+C1Xtr0ZmqpTXxikI
eZh5XEzEp71wrbpO0pKt3Dmfu0f7ncIBlIlXWHqIb/4xSqHD/+V2RJp43h+NNrBb
ozuM+QLWNXZyULAfDiMvlT0YKcm+o9tzttCx9P17yyhBVL7lhsvm8SZH/hd+tfvj
KsM3+12UCEV0XogwwRpeOa2Kzj8CEzlBqPLdKtrAkWPmcr4mYvl5A17Fh6gYG9Zy
XlfQtbHGB/S7sXPIFHioxVsWvtKCD8rC5Ikrsz7+gGavFMPP22rRIvZi/WUMqNb6
cjAd8E5c5usz+zzRq7EmmyaKLCMAd45bb0ixOpKMfw8uxs3W4PPQclKmJKistc34
ZANWT+/EEGU2E0k59QbpdudVzQd5YfTdkNsDChpEBYzNS88g0zxvL2G2ozP9Mq19
zKArNw7yW8JdnlbRMub526bQ2IlaxoBQi75o2ihRc0kvwxRenff7TaD0TxB/vbTf
KX+Q8bBvgOlw5OnF6DlYumwLDqQZLNNba2CBBpxwFFOQik+1c67JAfplC4f3R5S7
wr81Sp6wunQBeN/oH69rA2J4cGVSlPBGgOnAbHrfzVkd0iiAwac=
=IkOy
-----END PGP SIGNATURE-----