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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.8-1
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.1
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-aac-tactics, libcoq-mathcomp-ssreflect, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-relation-algebra deb ocaml optional arch=any
Checksums-Sha1:
 11cba1bb51641de6b336ff5f1e18852d59551650 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 4e817a85bd6926ad2924c6b624f0b525e0218420 1596 coq-relation-algebra_1.7.8-1.debian.tar.xz
Checksums-Sha256:
 4125b11912f5d9cabc98b87487ae632f150682021108ecf7ee0b5e343387025b 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 eb5480b2e808fdefc8d8f12702baeaf175f54a4fbb3a31be7364b8b87f59caaa 1596 coq-relation-algebra_1.7.8-1.debian.tar.xz
Files:
 5978961b75a58dc5dcd2458c69f3b57c 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 a7726d8273c49e201ecc11e22c11a6d9 1596 coq-relation-algebra_1.7.8-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMtvgwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR78kQAKcRHQpsuWJ9Exhp1hu2v7mQQxbWq2Ay
Xy3r3uAA5js2KMu8Aj5/0IborNsYontjWm9u4FBbncmmm9sIU0+GaxbpzNdeYVTP
KkBi9OlRYkKatazQEsSOra0sqCryBafNW8BrmAJ40Frs0A60N+aPevuwktagzlVy
T0oiIgxo5l0kPny7B+iShNDQClyhTaAJaraDs9UsSFPvumXXShGh3s2ED/kwkJgj
vJjE8PbAGioVhFVoxjpHN9Fi3HFsgwDXisUizzyL/UCCjhgieIywxK8TzxDyBgn9
suhnTMKUKrrJoV1ChWLatBRGbYK+NbGxUEdbCWoudSHpacBaMG/KCWP+dRb2Fp3g
gfDRRmu0FvJ6LYwGfmLfFysw1wGV7rd9/gtdgKY9MSVv3Mi8ShbN22rbb5MQzMeS
CArEkCALdqVArMQMNoFWXXmZulfHiXEN682yjJH6sTiRyfDXecLMM/nMU9nLVXjo
MgNk0GUnq0cbSnrZ3XmWa1zU1yQgHlob40N3vvKMEHGgvacV7f3TVGx/EVC+j3uP
0nYEWaKd9boBpWbHUoA8GkvxLG+a2FnKvZDSM0jOKeVv8uhUxGdzpijf4AnlGVss
WAHJE7WniIO14SrIwhqU+dSf0IKk7GZ+0mQ1BZFS4WZEGzaO9VI+tajNRZmJ1CHY
N1LbtX00oSU4
=sMsu
-----END PGP SIGNATURE-----