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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.9-2build5
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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:
 bde84cbe3434e3c46dd454536c7752ae2ddc0075 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 1fd48fc2f479ee33307d9b1dad59e53e0ed57ac9 2564 coq-relation-algebra_1.7.9-2build5.debian.tar.xz
Checksums-Sha256:
 5bafbf7083c0723514230c6c787e6a4545f9b45d1053e7ce4c0f177899d87625 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 f714e0a6c38b88442495fb48f1402b059b4652094f8d94cb89bb6fd0edf9ea63 2564 coq-relation-algebra_1.7.9-2build5.debian.tar.xz
Files:
 7b402eae531a30924964b690e83f5644 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 798b6c8779838addf3af6e0c1cfc24c8 2564 coq-relation-algebra_1.7.9-2build5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmjcACgkQ808JdE6f
Xdmv7xAApsdiO4GpM6+hc95UPDQkEZkX3iuM5wDThZh3Q2U6yjzVq5cccUDuR8/4
gKgeSkZ37uUHqE5ldsVkBeau5ktYCln23NwO1dax4oMGcs5QqOyeGTIGYZdP/QJE
dJF1xcZeXjfx2zVs+dW2UC5ncUk7H8bRwB7qcxezlExIyduJT0bdxobQwnB3phcv
pkVO60EOHK9oAXJ6Psa8QlFA5ghf8lXPCzGuBFewdaPqSQRITjsxb0HXnpgELurw
0ystNHErMSoRtxH1IY3lhO5HElDGa30lf/ynPaEw0E2R3VWauHilf+fxyw3YeqqG
6w7dyhtsPoBZFSy/vAS/Tqoo0dquPOcaRrdtJhgHPrXcpkFRL2T+MqiXtXiwOvjV
COCOtaHbfdSXOh19L/a4fplKvD+y+uBMGuDRjR65DxPVFSJ5gxYtqprvQOrSRzcT
pIztcbaYjQA6XfJCU2kl1MPYIcUrDnFgsOxmzkIlWbVjXjEOdesqlr/yv2pmFk5K
osEQ3GAxa0WGYLt0mpMmxStWEYLHZfHuSJnDpw3TGvMCiSSXYz609LPFOAu7nu/V
1v1EYIWNpZ1M2gd3fkoAxnXsmd7BsjH7H48aPCath/Sljg16GfZ/qjmoPh2kz2TC
IOzjUgoQqU9KZY1jLyHShC67MfRsU7AwCmp6JsI3cLbypVH/ywI=
=kEw2
-----END PGP SIGNATURE-----