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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.9-2build2
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:
 bde84cbe3434e3c46dd454536c7752ae2ddc0075 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 f102e526c9b91254d18fc381e10cb9e194f9ce7c 2424 coq-relation-algebra_1.7.9-2build2.debian.tar.xz
Checksums-Sha256:
 5bafbf7083c0723514230c6c787e6a4545f9b45d1053e7ce4c0f177899d87625 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 91ce7bc688a41cee87d965d8ed9378938cf140b570fc3169c578458bab3be058 2424 coq-relation-algebra_1.7.9-2build2.debian.tar.xz
Files:
 7b402eae531a30924964b690e83f5644 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 e64c2decca644bf4761319d17996f417 2424 coq-relation-algebra_1.7.9-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/TUACgkQ808JdE6f
XdkI3Q//QrXXxffqZfXjSKrUchMy1+t3LJ0d4SQOa1tDjntiMLeILEu1ojJkHGMv
Us5t9OYh3aWerWtETUbxx4/t8ZIk9c9a1ICGFtBl/t737+KMy1n9Ts8/x8ZxrVMQ
64K6zn02W+wJwswNF0BaLPZeoxiAxpf6IeejHQ2Kqp+yKQI6A9LEbj6dU2eu8DDF
Tfb+JJjGMTvQUOwD5+PZKWnkFuZgc1geO/dEjSM6FiEEK2WvS5jDiDLF3lep/N8a
eFI3G1nMhQ3IhMgEvp+NnxaEA2pY1Bc83urg0ZpK2Nmss95q2hK5GQj8HATSB3fC
aG1sSSrP6UGsY6WejGd7XsPXTFZtMPO29qxeFRNaGara4EHKrajuHgYx2/cLWkdb
oxlKWcof71Cgi7d/LkY5HV8aWAyxpujIARonoEbpA3DO1kwbjDDEcCBz/0eL54tk
zP7P7hF2Ktt5+r625CkYVCSbQqfwyL4pBUiriSQdAPPYAyUOmV0pxCUucvy+S0Ej
QaxIka0JMUjoXkfwd79FKdTesW7Q/syoCM8qkurnumZZ95rGKwiMl6u3+UI9fh9U
hKryJ5Zuamn0GO6O71pl3aopLUN7BGSVkXr1T9MkmFLAprJZo0YIBUjpOGdKOVXH
Hv/U5i58mR7hTMCm/f+2gHgZQsscl1xd2yMyJKnu+drA7JITE/M=
=9Cr3
-----END PGP SIGNATURE-----