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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.8-2
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
 ce673217a105529dd6e4ddd1d935587cf249d60b 1656 coq-relation-algebra_1.7.8-2.debian.tar.xz
Checksums-Sha256:
 4125b11912f5d9cabc98b87487ae632f150682021108ecf7ee0b5e343387025b 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 87c4bfcaca752097fb5c181d0ad5530855ba45d83b28f016723e4da48f559df9 1656 coq-relation-algebra_1.7.8-2.debian.tar.xz
Files:
 5978961b75a58dc5dcd2458c69f3b57c 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 a14abcfb672517455aa53b236d979166 1656 coq-relation-algebra_1.7.8-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRHLISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR64YP/jUzF5bhmjNrby96fk/zHGehZ0XV4i0f
ySp7GfiuUE1k5cchpLzpWfrAXhXL7ESqmWwF4Jiqsxfq4o2uLGHYX1U5moXuV0oj
nLyqFPwho0vZ3ixRBCEthaUY6TN3mskrrYeg70rBwLAOUkamtwQA8oGp9pw/0ZTI
dgs3s9hP+hU2VwIkg13WtJ0ZYNGOYWk9n71kilCLKzz/3PZeT8vP0+V/j+ZbIYR1
L8ZYScF6oiiM5XZWgRVWL31+N7MLI8Xo5fKb5Zl0NiL2C/LLl7EFdtNUAsrDQKtI
U49zY8r5sgSasUSBTaoRCA93FWXloTLiKrbEOJwKjD67vDCuuf8wZgs3/ihqwIvV
D+x3agasE2vWmLSlqXKofdp7znQZYg+6y3KbTG7dpkxlaiMGcKk8iUpyFdO7JLDd
8B3DNGyF6pzO3qPEXnfXTjvNLw+PqDFg4egBmJU5iJvSmLJ9ow8kDaju39SpvEWe
r39ngL0lfJweVczr94o37BmdASmGq0TM8g2eeTviYX5kJV9iAs7EhF7pdA7xut7f
HAM9H0BzZf+qaorMuG7lz06C5HyiYMiGBG07gsKHUCzvKBSY7ymcpoevmUfgSllk
zuAoQKXhhdeSafnbE+k4ADcLerFzMfbStR0RpoZ/5CCoe3ZSQRTrCr5U1bYTf/Yi
G+90MpuBxOCF
=YH2L
-----END PGP SIGNATURE-----