Package: libcoq-relation-algebra
Architecture: amd64
Version: 1.7.10-4build6
Priority: optional
Section: universe/ocaml
Source: coq-relation-algebra
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 8454
Provides: libcoq-relation-algebra-2lns1
Depends: libcoq-aac-tactics-kljr0, libcoq-mathcomp-ssreflect-uyii6, libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-relation-algebra/libcoq-relation-algebra_1.7.10-4build6_amd64.deb
Size: 2444692
MD5sum: dcc139ae9ae7da976b83d3eb0dfe9d9f
SHA1: 7c343f04b8b909fc427d5871e1784c64330b10e4
SHA256: f73b494eb2101f86f339e1373ccb4d7b5bcedaeb11f9fc57c572b3354733be2e
SHA512: 5b8b0424f17b3b9163960d2e1a9a1c7075c09150e32f374768b9892a721b85bf0b5ef6a6b75ea344a3bf6d274fa8f5484130351c64bca4080c90ae243d80132a
Homepage: https://github.com/damien-pous/relation-algebra
Description: relation algebra for Coq
Description-md5: a765dff0adbfdc3fa06433e9a1b8f624