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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.8-1build1
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.1
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-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-relation-algebra deb ocaml optional arch=any
Checksums-Sha1:
 11cba1bb51641de6b336ff5f1e18852d59551650 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 92a88f27ec23fd147d165a54c3f90d9260349e9c 1680 coq-relation-algebra_1.7.8-1build1.debian.tar.xz
Checksums-Sha256:
 4125b11912f5d9cabc98b87487ae632f150682021108ecf7ee0b5e343387025b 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 a08e9bd9eb6cc3d3df0951a57f82827e7d4659322d9e9b2493563cb2845df588 1680 coq-relation-algebra_1.7.8-1build1.debian.tar.xz
Files:
 5978961b75a58dc5dcd2458c69f3b57c 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 6d8b2def32be1684daa94482f8dd3b6d 1680 coq-relation-algebra_1.7.8-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLOYUACgkQ808JdE6f
XdnEphAAt6DqOwCAlUylBHBpRPQ7UwaqQiz2/5dwVyCK4m4WGKM1hezyFWDv6VkJ
rv/Kt/TSLovoqtj6c7iGJ1pTLhwYHEF8B5D9hwOB26O2bdOfDHqtUqQu8QGiH2wA
HwL5u/+HCusHxF2Daxe6vbN55akPlmnn9n7oQ5pk55wZFDk5CuH0LprE9cvVPfJk
CNeUHflFFJqmkj8qsLiXk0HBpR6SJbsWb1CbvQVmE1sfNq5xI4IABlL9uERp91Yi
3dK5vzARPjzKzaiRHbbKnvwNVxCW2qw9JaJdlGYMUr8yrcZKUc90uQU7sQEDh5Lc
Vnx0EHBWIfJb7WsxDgFUFlCp3HuLcC6K0lJ12rEGKS9uT0YEtOLRj8t4pWqP9Sj5
zBUOHjp0ufFy6W4nNBLjXxlonJWCZVLSL8hpiYFqD7JFLyK6r8CIm3RvZ1YJgAps
yB1ZyjvpptdfnnTcJde9+o46Cpk8vHpgT3tkN2NLtPmSLryjnl6fI1x+R8RDsYz4
Ykjjbc9Fe7vjMh0UVKhQzOUeyVV9gOcNmKWLRA6E2XQiyND9KntdOjmdePEXIIgC
yxOdnKDy7Lc5/6vEgyZX9N/Es9ntVY/mC08jzd06UyEblB/EfKuJT3WUHXK8ci4H
TFPIVDNjjfg1IckXbMYB2Vo2Lewyr1rfX4ejwZYS/FVMZbM7F6E=
=0wV+
-----END PGP SIGNATURE-----