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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.8-2build3
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-core-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
 06bd455390b21be1737dbd7320a9c004d84002df 1768 coq-relation-algebra_1.7.8-2build3.debian.tar.xz
Checksums-Sha256:
 4125b11912f5d9cabc98b87487ae632f150682021108ecf7ee0b5e343387025b 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 74575d2754b1740f5e85c7185fd094c3f55ab8269a38ca12fb128add29b4e08a 1768 coq-relation-algebra_1.7.8-2build3.debian.tar.xz
Files:
 5978961b75a58dc5dcd2458c69f3b57c 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 f6b79efe20d97c70d4800c4c5789d991 1768 coq-relation-algebra_1.7.8-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILIgACgkQ808JdE6f
XdluJhAAhMiMUC1wXc3nys+0ZUP5As25l+aJpfzvW44cKBC8csNyXzbQC0lzBiWC
gjXM3Yofnvi76YHFcUb4Hb/VUxfC+2MuJMKyDEQ6S3T2lkaAcpqHWiT3Tokgoxbv
sZGcfpsq1NS4Pp1FvADZgdpxT0Ba7u0OIW8MJat4kNiocBIcy8rVT0jCiQfMYW2B
0HklPMzCDmy79vppf2nl+GIVceuOVtu9Wyoe6rqmZ5PiclzmUqioTI7Cfdg807mN
kYQlNhrui+vkjglQDFyUQ4MzhjZO1iqJEbPRiXxkeZv1qEjnzCEs5F1Z75/KL6rT
5+u2XdazxyrMpBwu18V8lFt0yZ+a7+S98xnC/A8BJoSqVdVvJrJqiKnGZkjlplQZ
ZVzjZIS8KiS3baJ9/ljkMft0GvIOAwa/UGkPnVxDVMhEAAaMIemD3FU4Cle4rd2s
nkjhiLX7Ei0n8wLpF322xiLbi3TaZkSB9V5EfjfKy1VTrVhpDFoPFyMBRQA6/XQS
M0wVh4Hh026ztzcTaWPiMQkgHJLDNjNX5Twjwp0MIZmgh1e6rxdLQPGvQFn3AauQ
ZyXIVAr3lohZkZgt5VH+Q3utSwNSWpE52SOq+VP7Yh8EaP+7mWjDmrhPFzZhdjYd
j+AYlVjcsNkDEfz1bVff8b5ZAXIbCKkQkiJ1hsdG7BQZQXTZxPQ=
=32tg
-----END PGP SIGNATURE-----