Package: libcoq-mathcomp-algebra
Architecture: amd64
Version: 2.2.0-2build6
Priority: optional
Section: universe/math
Source: ssreflect
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: 40928
Provides: libcoq-mathcomp-algebra-lyc29
Depends: libcoq-mathcomp-fingroup (= 2.2.0-2build6), libcoq-hierarchy-builder-hjz07, libcoq-stdlib-dksn3
Breaks: libssreflect-coq (<= 2.2.0-2build6)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-algebra_2.2.0-2build6_amd64.deb
Size: 11446404
MD5sum: 99deaa15e5fdd3d970b6b3361c2cf1be
SHA1: c4b501f1e7a0500cda26143f815e7d686f1ca38c
SHA256: 4d138ed88a374758b7292e63c85a732d66e194c4bec3e739fc417b28dbd4ba8b
SHA512: 0da9388097305904d5488bfb5dfbf3f2e771c3c4e7ede6812e7dc62565fddc4cffdd556b15912a5e4de8676d3545271cd4e4f01f52cb95f5e345a06f2b44094f
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (algebra)
Description-md5: 402a51057693053e1578bf2afd16f6e3