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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.11-1build4
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
 b4a1ccbf1d4b6c8221c51890d0db442336a70629 2384 coq-relation-algebra_1.7.11-1build4.debian.tar.xz
Checksums-Sha256:
 6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 12b1af8780b54880a58847a00689a9783aa23da2e630b6d5fe50db6e56d2a5c3 2384 coq-relation-algebra_1.7.11-1build4.debian.tar.xz
Files:
 5475a391967d8777aaf0da8920cdac1d 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 77362fb18fa49a1543924dec2eee0f5f 2384 coq-relation-algebra_1.7.11-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmetCvEACgkQ808JdE6f
Xdliaw/9G1H7eLzPXGgBaOZS7nswnDM9mlMcclzaED70DOI3xtHo3Ensl4nEcn2l
Iw5OJmW9FCHU2feNbSMZMnAGqa/fzuPrKtHjMwwbFfg7rvdgA29uYc0rXbxh+foE
ybhpaDd3U1c9chWYoBlm7epD+qtZf/i3oeSOtqV5CwPs3Y9VUhbtSO4ke+LPlfzf
fw7F6+1IVR3zl3wYOHGbDuebJAULMIHGq0Zj7rlVszBRy+QHP83oKIf25Cbe5opx
kC8isfQ71alNeAnf03CHZDNn238QOBmm8lG91FA19VeirOvuPoVJOAX7/WQnucn8
eBcdpG4w9y3rv8FhVX6Opd9zPVSwWAiZPabXx5gjd72kAZSz3WeqmnY1qbaa4yQx
6d1j4NxjxYMrzCKIq18GZODgmxa7g1DVwiBtj5sytMewhJ+mLo052hA8k7u+vglq
90YjFrR8S8DFAfTql7u47GDWkGo9BpIOPuAN9bKoWGVG9aqH1q0Vl86bhqYcYJCc
5xl+HWBoG1Lz9VXs1OyB0Iy9et3lVHWZ0gT1SN1k7nt/Uu239lAbJKTu12APP7oA
03tCE6UqW/8K8XESZ/s9MVnoNxa/thG9vSxUQzdF/kZLpulWaRfVPhtSraCW82Fd
06LuIFq40lNe+6707r74LBvKlT63YnskxUR5MQq3rZvbn9L5NHo=
=5Eld
-----END PGP SIGNATURE-----