Package: libcoq-relation-algebra
Architecture: amd64
Version: 1.7.9-2build5
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: 8231
Provides: libcoq-relation-algebra-necp2
Depends: libcoq-aac-tactics-0zwg7, libcoq-mathcomp-ssreflect-y5tl2, libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-relation-algebra/libcoq-relation-algebra_1.7.9-2build5_amd64.deb
Size: 2360500
MD5sum: e67c07716ef88e6701bf8efd55719361
SHA1: 8a7e837e6af16c408ae6eaa6e14d0887a2083929
SHA256: 6176a70bf8a51694d32863fb8438f57ec268b899cbba518a0d4a208600a065c6
SHA512: 69045ef68a20554448fb5d94e65d7f222cc4605793d8ec2eb01a57089333b0f0a1cefb86fb0ccdccd1ca13c59004daf3a626e1b291e1eccb1ec4ad242043318a
Homepage: https://github.com/damien-pous/relation-algebra
Description: relation algebra for Coq
Description-md5: a765dff0adbfdc3fa06433e9a1b8f624