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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.10-3build1
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.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 (>= 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:
 04569cc1dc8c7d072e1ca59216e6d706a267f73c 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 c79020aae02db6fc2eba55dd2027e717ba4fd6b2 2216 coq-relation-algebra_1.7.10-3build1.debian.tar.xz
Checksums-Sha256:
 e8e17d4cc5655cd7c1fab0b994b7afe73cdd043091d5d1aa30a43eadf9d2185e 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 4a69f72e646edae6f9df61dc9e236af407ba377a260d39becb96eef77bbeedfc 2216 coq-relation-algebra_1.7.10-3build1.debian.tar.xz
Files:
 4d7a2b9b1b74b922e08d784f62dec752 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 502684feadc67a8f9e60ca98f2fc09fc 2216 coq-relation-algebra_1.7.10-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz89wACgkQ808JdE6f
Xdmy9Q//Tt3raypOE/KK43eAfjp8OkkHJ0eg4qbK+B1QnHcBvE9J7QusoDpUvSuJ
AzqjhYL6fSAMQEzJUZaRJ6cLOFpy36vC5tqF+m5S1WusHpPCJnuTA9mI0EgeJhqH
t/RLXRA7a3Ef0hoKUzs3FAT2gaCjnApe77s4ioR7J4sxyqw0NwqpMsgZTwoReLRN
Th/00mcmRhA0AnMszcx4n4zry5lGS2QNhKMhwJW/t7a9Wb9sFWc+b1dJoYIdNJQL
rOkMr4EFBbfBJD4hW2ZYlhu4QDtCOZ685YCKBOEfNH/qEBG9qdDm0i4R8lSGQEZX
Of0vs+kh1MLAHz7lEReDnYExWd3C+KCuiEzVOK3WTn4LGA5gfvLdYttdDj0FN3MI
oPKUW24BH/2uf3Gw/R5O0J2W0DcGYLk2DbRMdhnax8I7+OqbPgOZ9Sc0yESGmMkp
ewZ1i16U1wDQsOfU3CEHnAebEJ+OeX6wjWfg8kqy+gpzs2/+hulOaOHdI88qxqOM
PpHcCMprxrcVvrYAxnzPphHmcasWMZrSmKMFSjVCX6l7Rq8xMRWxJwoPkG2dSHin
GHjDJyjGsFAQbwRs5tZ5BU5bA1FkGNvS6VLQ6E1mIl8Vqr/+ZPZqwHQi/JikJrbo
fLy7S8+vYKAFv4YvoefkHn+Wwg9PYIkUiG7axp4/DIX+9Tl/2W0=
=pCED
-----END PGP SIGNATURE-----