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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.10-3
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
 e1bf1a21b7b76294a3f3c658d8c91f92f325861a 2140 coq-relation-algebra_1.7.10-3.debian.tar.xz
Checksums-Sha256:
 e8e17d4cc5655cd7c1fab0b994b7afe73cdd043091d5d1aa30a43eadf9d2185e 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 2a132faedf4a8908fbde77afe60251b9e660a08751fcfe42d027c41f5c0d1aa4 2140 coq-relation-algebra_1.7.10-3.debian.tar.xz
Files:
 4d7a2b9b1b74b922e08d784f62dec752 196686 coq-relation-algebra_1.7.10.orig.tar.gz
 63c4b3d23aa6f80e7bbcae0eeea37ae2 2140 coq-relation-algebra_1.7.10-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYxW3ISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRm7wP/jPXAfBv6xDslLfReo+64LEZx942Hilc
nzjXJmWyZpvMWkvgKVkzeHONed2pphmAmGc4Pdi8ROSUDi3JtAlEQZBcRXSPC7fY
ofeYS64SQEAuL1NolWefi6cJmYnFx4U9C2BMEs0eCngoDKzb1NA3HxgwCFdwsoUF
Yhqpoggpivv7io+azhCCMMZGyZ/KgPRHbEHbpmb7IGNirU1s9+8nbhI3dz247qLF
Qpx8aWliDf6cy/IU4KqcsQhgOCzu5f2s4oEle/cebzXxoOijltmjPiTlPP8RSRrl
8NM0yqKkkI8uvCEsCz1vn18XWfYboxZKRTNoveynH/+IQ+QqptFthKq1HV/FHHxG
TXb+aTVr5HeitmoBwsgwH2fZr8c7fyT6htDFjZGD8AO1iRqMO8C3iw971g/dKKQQ
EdYKktF0bIX5ePIDBrPLBAfyCVk3PW/lh+Szgiy/ILSOub8FfhUz4IId0vsnZoSH
URGHu38Ec847HduIKXh841Z+/V++vnPekd8Dx+Q07avp15iXmdTEXqQ0OvwErS5y
lGiu9jtliJfzbsPwjXcy251BxMeUgqLyMSXHFl6uSvulahURpxuC+Wqg8flT0jid
8xDJll/YUbCgwWi6gbGmxiLk/BiiU2GiHGoMHIRQl0Fmg0QmZWZkSygXlC+RkV4G
9PclFjLQZsBJ
=0I1U
-----END PGP SIGNATURE-----