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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.11-1build1
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
 fb61e4a42406ca481dd97e5a1e0be2242e072ba8 2304 coq-relation-algebra_1.7.11-1build1.debian.tar.xz
Checksums-Sha256:
 6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 1ef2acce9ccc5e91054ab0cc0bae197f24ab8bae8903bc7806cd154630c93fb1 2304 coq-relation-algebra_1.7.11-1build1.debian.tar.xz
Files:
 5475a391967d8777aaf0da8920cdac1d 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 567a2e1a37de449d567872d439ff250a 2304 coq-relation-algebra_1.7.11-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmdldDQACgkQ5mx3Wuv+
bH1joxAAypZIe6pT6gXAo8U/KnGlLVNkPuABaLafujkZqZJd+9c6Bm9NQRW49AJ5
hZf3B2VYl4fma4nu4/ciegk5mCL4gLeWiIE6hu76KDqYEK5OBra8l2I531FhnGCR
cJxlTfitYVbyYhiMtptvsYzWr4pfT/pXetFexzo5ooN6ldHc7GKv7rHLmU3rOMIr
DeF12dBCcLtjC/RBe4MEULVt0zP8544hDKQwhaBP6HZhqrKhFhS3e4q3VmqaFjEf
QkRjRf3iuHP0GOvPlQ1XHglbmrGAUUTv/1ZvFlA62qL/l4CdoVCmXWgC6EENarEl
s0b77liKWe/PjtNQQ40FEBjBLv9QZga8NDOTaOs7r5nVw4W8qPp3IOefkMnD9v8E
+6G1St4q41Up8+/aE+nX0+K1DcYuI8tgUe4IqQ8wzRVOKDAtTBwEUAsPkGRxnmvX
JV10QVsvZDD3ozBVnomlEv3aPmBpBe9o4W+FrMUM+uaORIl18QDxZBZ37AplXtAR
2jsnrcph7RUNYdx9bSOX5ZfGlnoIr+JO3clO074+exMfRWRgoFm3a5d6UlV19+q/
ejfaB3uzd1Q36VUXvLxa98oaCMxKmgre9qlVlv7F8OBoENffj/T7pHsMtM3NtYQQ
gEkwrPLntepoHVYZugMlitd45UVYG4MCbAwS7ZLdF6hDzViwuWk=
=odCn
-----END PGP SIGNATURE-----