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

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

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtp2UACgkQ808JdE6f
Xdma9g/+KOF/K7YS84LPpybBjIkZOEOh0gnRJlK7Us8+2Vho8r5lckNwRsfmqJI2
GAPWv3HXDX11y5zB4SI3a37dsVDWkZLWh/V/oSrA+09oXbB/qFlBbH2HL1avzQZD
I8mmVCimgoXBTH7pKT9PNjNf9Qwi86i5L3PTUWYP7Rx124FZ65YuLINpv1eOip0q
qQpl67LlQq94keia8DzyrNYI8o39J4opguW9C4UBDuns9DkxZzJr7DjekcgK/kdS
4kgCH22j1h8LgcMjc1Rhzv6ErePEzjqfbeZUzcUE74WdoxAONBVWIZ6k++vPVE5r
N4sh2Hp9HlORdUBzL4D10gm3kFVz87K1gpqVCEU8juaTTq4qkcf/l4JA7vK+FGTk
GFSaVy9xtRc4f1uNAyOOiUq1G5NLQ/Pv7g2zq++7J7tntnYULbEraFjJ2JASVce9
zv0om6ZDTUMUv/0DPNKyxA5TZrwz0m11L39kvkgHH+B+g/6dHtCSqF28UHz+WPKJ
pCsf7rm1UAzZuDQiF3DBk+pHkeOlhWxfcOfSNTJrOM+D45Ch2slyeRFtGnj8GePS
4QGmN2iNsRX4/898yh3uwdmPX5WyhMrObzwvrSUwXsfjmetfWWuVVDfw09zhPt0Z
cXqA1Yzr5OYAsBrxlwGHrnMS/B6izSYzdPRJyR4qrutd7HGScE8=
=/t9s
-----END PGP SIGNATURE-----