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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.8.0-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.7.2
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 (>= 9), 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:
 5c4f1fa93fe36b2e95b0631a6c6d187933da0d4e 197632 coq-relation-algebra_1.8.0.orig.tar.gz
 8e9faf8dc0cb8cace00b3514df1931f1306a12da 2352 coq-relation-algebra_1.8.0-2.debian.tar.xz
Checksums-Sha256:
 18f4e6ba4bdafa75f6137c2b184b5295e44dc3325dfb3315682ee98ef0ff8814 197632 coq-relation-algebra_1.8.0.orig.tar.gz
 33eab953d99e6d35dc2e8178e73a155a071cad4b7b7b2a895401895941177d46 2352 coq-relation-algebra_1.8.0-2.debian.tar.xz
Files:
 bb30cbfaf255e062407947d6d1b01098 197632 coq-relation-algebra_1.8.0.orig.tar.gz
 ed855baba0aac412b3927a4f947df1a1 2352 coq-relation-algebra_1.8.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTkNIZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUaixD/9wi66VR2s5mw8RwLCJjLAz
GUMYT1QPztMlckRu20jmeE0QlGsKmoiEmGgaCIo1Pd2jKvoOvb8e9zr6TE3LdNjC
f6QT3CNwhnZbSqBKA3itkd9c6azXNxtlZ8H/x3oVuKF7KRIwWxIZzt9u76kQl5jc
/RYCxSzzczgOGjq8BvkzpZcN6HrEn2ocGz4iZw5x3Z8s1GYKSkTj2/0QAH0RgPbL
zH2Z8/AOsbuyltNr3lponKn+LmYTbjk833ag1uFZ5S2pYlYTzoNNDRKGXC6eXm5+
eHxfM+d9RmxRyJldr5sf6Y0fRBi128MdvZfehWtUwYkxUZHGuzwm9fSpxFDaxe+z
8xz97zotbx3HiakaAgajTGp6DBfVqW7+WGA3J/slOxj5WuGJ5B0FS+Cy3ryTp6T3
x3jwr3JanLNN5NmqWE5Q/DE6e5eBtb5plO8KliivVSnooqhDqSpAhuU8emSUfOI+
gd4S4KBAfuO/ifg+xkbMJAQu9Wydt9b/ca+8CxngxRJeZHELt3QqD4E03jmSL1im
NilDk6rOzarJsUTUoLKzAoaOGrEkGTpq7ENcyPauk3Bb+C33W9oUVm59ophS3agX
HfWflVefrBK5tQog7icgT5Vb+T9+XgxCIGDIPTWsZDsHPv1cckRgV1e2hUFMjBXh
rlj6+mz9/Uo3O5GxgNmKwQ==
=4Fw8
-----END PGP SIGNATURE-----