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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.10-4build5
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
 e52b11c304503c26b7825f4818492286a6dc386a 2380 coq-relation-algebra_1.7.10-4build5.debian.tar.xz
Checksums-Sha256:
 e8e17d4cc5655cd7c1fab0b994b7afe73cdd043091d5d1aa30a43eadf9d2185e 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 4729e3dc42af3cb22ef2f311b8a267f283e628ca667c120a0df59ecf5ac88613 2380 coq-relation-algebra_1.7.10-4build5.debian.tar.xz
Files:
 4d7a2b9b1b74b922e08d784f62dec752 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 6d28024664605560424c6e51bb080a93 2380 coq-relation-algebra_1.7.10-4build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbh9IMACgkQ808JdE6f
XdnJPA//Zh3F7qy2i04/Q1Mx6WwTaKnjlAfBXfu8x8Erqg4qlS4zSa4zDyxPa6Wo
/3Ti5AX+0GILbkhRwgj3zYIC79hU+XB+8JoPQlifQoF81y2zNFi7lBjHEfzQ6aWh
+EulbgMHLdny+4xri4TjD8nU1+cywfw1qEHORYVg5lEqJflwvL6YRKrtPOMGSPBL
iPoxLvUox/X7EEBZkvqit4jbiaL4sXejZtF0JnZtx6tteq5hfasdczaCUrYn2heU
WP7H6AJMyGx8Z2kPkR4Didyqn88/ZsXokPzBJTY7y4yJZrD7+7ZeBJFdyCSSOhhV
QiabjqqWWitmbGZliB3R4LwRZRlqKUtD/PyQKA3DhLhdQywr59syEbGIqHnbjCdK
xtqmgNDdDk4ZDHQx/Q/Ae7nwcdqIwnbCCAqDEbWJWhlz2SIoFKyejrkTiOPtYJtr
u1hOUFEK+yG7q35BgXft8leq1UlPmxtjcF4evwY4ur7YXcQbib2iplbUruHXOeiO
zFCIGDV0tpdEEtIVjlymPsk1X0oysn8Hwz6CY1Kz1DOdg7GBXN8VptKMHLM3lXW0
XB6qApJO87CP23ZjfGUj094rRCfiL6UzoA7rpvX5lTejf+CNB/OmX7/FDsUx2W5+
QV0/k+NvcZrtODVJfEI85EsF7mfV0Ga1DkEfFd+1TgcQ2++M5Mc=
=ZTXE
-----END PGP SIGNATURE-----