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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.11-1build15
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.7.0
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:
 604c4995145c10e227d848ec6c0368f6b599ace9 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 863c98a25c7f5440e0dd392e182cd86ea51305ec 2608 coq-relation-algebra_1.7.11-1build15.debian.tar.xz
Checksums-Sha256:
 6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 25e1109a12ad8a76efe96519ab2e8ba0aca5ba57f75811785889338f7e4949ac 2608 coq-relation-algebra_1.7.11-1build15.debian.tar.xz
Files:
 5475a391967d8777aaf0da8920cdac1d 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 bf659b5516b8e25386f6ab2cf51f4f2a 2608 coq-relation-algebra_1.7.11-1build15.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpXXJUACgkQ808JdE6f
Xdnf7g//cEAQqhENmFY/g1y/BGaF82/3dkvFnZLkiaPXT60PNoGVKIdsk9lfXAM+
fWqv2t/apf2BKgSHuRgIOnxBpZOkdiY3iQ7azcH6BK83wRPq6qggNk8MC8cvEUcm
1e/Jk+S5Yyz0MKJ6srbo8NNzepOSiSR0SacSN50e+lI2MDjpWbpU3+7/ISe83wbX
DvOA4WO8+CtHOzqevfsvJwDKpPvUZGHDdi+k/xFIIcXbzCzpJP0gTHZJTUQPsqVC
cPzn2NdBbEiabAnnKhe5tL4YkODgWjrrZ1Qtv9qbxqqW8cDalijLVWED8xRbFLK0
mpG+UGVMz/LrM4NGkPuk6iQXcxj7J6SQQ9f+keVjrveKB6iY4qb6Rk6PS3gGm2VN
C/w3RztU1TV6XUpdb6IMhG903AmMKE+xfaZQiPK9GofzrfskpCqJ5XeT38Ibp/1L
C6MwUf/xQq5V1LJjIHsjjiNbdKNoKwTyQyMHDG1De18bs6idkimEaJMNTQbyMRKu
Y1f2zAzcyvy+E40kEEstcZCd0iKyIY3H+7DMz5hoMyBUE4CZ0meI8Iuv/hVRsxk0
GR3AxfD193pzhlZRfj6ahQ1WWJ+GLBoSMuH6X1/Hs0LgPHabIs33Ysmr+dh4O3xY
koX1KBjG6Mlcum3T9q61GT9MXlA7NwAKnTl0yFqgsY18RKtL6rE=
=+qST
-----END PGP SIGNATURE-----