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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.11-1build14
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
 82c3dd3ce03a5db0aee59f1692e1d45f7853388c 2580 coq-relation-algebra_1.7.11-1build14.debian.tar.xz
Checksums-Sha256:
 6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 894aaf1a7a252d28bf38b9bf6fa922ca14d6c2b5ac6f8ea576ccdaa42126d775 2580 coq-relation-algebra_1.7.11-1build14.debian.tar.xz
Files:
 5475a391967d8777aaf0da8920cdac1d 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 3d28dc2bd151a3b0968bf0f4ae6c6601 2580 coq-relation-algebra_1.7.11-1build14.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmqsdUACgkQWWH9vpxh
mAlxHA//Rl74d1CuIpHkQXNPQ9PHVY77GLk2cUdvlMLkJ5ZzVqa9HYKUthVUOYFM
Ml6e1o3U5z9P2EuLUa2+5X0Ui0jmGnpPSDeLTeQoMHDQ9OEjWCqszsrsTtmwanNY
esoNl2G9e7rytwbQveo//3gfIGYwrORZCCyQHE5h0o21nafHLQmEqhhlTIF3cskH
MdRT3FzqGjpemwuiTNm9zzFw1ECbpQCS2TZpjVRRCB6b6zkLA1l2PDKOkqOT3RaX
g/ADJrCyryHViAZGB6DgTxTAEsxzofrk+OJeYLdv+6Yuv9t3H3f6Cg+cbFwTS5JL
Ijf/rJ400uz2j8iWuzmJUK4xuwZ3ZR8/St7rraEFqRR6Z17+5S4AeIkJUBgx80tk
9PECpa2/lchBwNVp8GPmtwT2eXELezuCodBdiXYMV6OWYI09p+vpoHkk+PYzUW2Q
duMkSFLkYJHuBM55LoRPr95oS2b6kSNnsER/06rQsJMBJMfrqYNfxCZ5duzfjrQ4
r91x9zguqbhFz8xO8qHdbFIrF78sh1YZTh7P7waVg2Gtw8tlMA9+gfhOG0oJ0ysb
bmYmZ0hfJyOY9n117odBxwhvSjc0M6AlxiCx34yuv28CYzS8vpmqE7GlTQ6akjnv
VCvB0rrHdhZsT5RnMC2ij7iLQhgMFuWtW+ryDfOY9O87pdEXkk0=
=U6zI
-----END PGP SIGNATURE-----