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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.11-1build13
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
 e2ec892eba83c3328fdc16a5b50ef66b680605e0 2528 coq-relation-algebra_1.7.11-1build13.debian.tar.xz
Checksums-Sha256:
 6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 aedc37cb935d504aace686fa4df2969f2370a2b3f039f73dfc6ee4060b5af5c7 2528 coq-relation-algebra_1.7.11-1build13.debian.tar.xz
Files:
 5475a391967d8777aaf0da8920cdac1d 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 d5a3d449245882e52902cacd91513ce5 2528 coq-relation-algebra_1.7.11-1build13.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml5MRoACgkQ808JdE6f
Xdmx+g/8DPJ6t2AQkHKhA6CLiEZKj1VOW5pfOT3etM0YFpE2C2Wv3FiSo1Rp/4Bw
ed4lwYN5v3Z/aeK319TpO2brC4oB36Y3bMzOu5FVvgIPH2QNyy0Fy3fZpx0O0KBY
7FYVJY/QHGmSFwwlc7fsvKMoLFm1D+cxn16bRadAdFtHNtWy8YXynNPrDYP2DaJl
xqDv6U4gkfg/kHpxno9B90NW8LxpeA0/ibXfSobaa4Jr87s9W5OHKc39BW8km1kI
40Sr9tZfrQk05SZ3FfkGZWBWtMJ8lFCPwT3/8jHuN2Z3Cera21H4OVXncX/+qkIi
sdp7vrxLUxbR2nJ4t8SZ5QRnmFvRotBO1dxgsFo+SOjQgc4raAd2Sh+rlJ8zU5M5
wrlOxJ5LyB7HiobWt1FwwnnCZMLCoCL3dJVY9Yq8U9NdGj2k2KR+RuogoMjHsgPE
zlYM+YP+rEZXdkjktgQgqjepsOn/0rytTlxxGhv/ta/urcAScquxHkx5nUM3kT7N
5N6L72D3bPEEAv2dlfNgfZTkPVjbu13h+yxsP+mHesU+mvUya00lIIpt8/06DiuZ
VH0DzUQoL9It0zK9CjYIaf2s4Ppjj77kYZUe1gEzs5/WVyDLw/3eIq+MNq5RQsQ1
u50dJK+X8AVUSf7mxtKLD+OTNSIrfkStWhbo8vONk0e3FQKvytU=
=z4Lm
-----END PGP SIGNATURE-----