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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.11-1build11
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
 39fb0ff307dce29be09e333e05f25a4b6ddc7400 2500 coq-relation-algebra_1.7.11-1build11.debian.tar.xz
Checksums-Sha256:
 6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 71c060af58f0adf6f08b88d12090f462521f717bca92f909a7a0bc6a7da38f91 2500 coq-relation-algebra_1.7.11-1build11.debian.tar.xz
Files:
 5475a391967d8777aaf0da8920cdac1d 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 15770cc2c9a9c0522bb927af052fa54d 2500 coq-relation-algebra_1.7.11-1build11.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkMVqoACgkQ808JdE6f
XdmOjg/9EidwzuNtgUS0BibiP2D/BYKC0dEJPsHz65Kr1C/VuT7MPtW+xMF+Iv6s
buQC6RHuaveE9HbRis90k7lVbQVA/AokaArUmrPTRbzcEtTbX5161hUZgvwaUX01
RPq4LoANCuBLPqL9Rj06wpSDvMhG4vCp7KdK8LAauMT4AOPLiT0yTW9q6CytiQ2Y
78nHhx3kfDNgP0xscMl8saO8jBwz4GA/uIUs60Ar1oLM3sZf0NRt2cV58BJu6C+I
RbYdP9YLaP6qYajtDMmNYg0uv5ugeNjw/m41Tg+0reuwd17rpiJc6r1IFLtOm0U7
HZumfB92J6msQwWZnGDJ290vUGLAKNEP58g8nt1RbkW+nG07IUQWDLUQE55SRlQg
YLbzi6FSbB2auy6Y24OFL3y45rz6Ho2RfygIwm819a4gZhd8GsfkzHfa9Bc+jqad
az1H9q6jmU5KljpvExljuSui7mnfc7jFXQRwU7GLqNm4KnItkAUAQac9i3INsCL3
2DKnzjXGLZmzlZJ2zjOgzb+jguql6NeIR+MZ+cMAvXw9D8cWjDXeuoeBG3E/3cXW
Boygltrs114r0l2vh31jXkvUjsBcp88IFxCR9Hwjv1yOhZ41lQ5UhxJaQGhgnS1F
nv9HQ7mB5ds3odu5HyZfLa8MDE8geWZDIhUG9reOgpuvXer9lYU=
=Eug5
-----END PGP SIGNATURE-----