Package: libcoq-mathcomp-algebra
Architecture: amd64
Version: 2.3.0-1build8
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: 47311
Provides: libcoq-mathcomp-algebra-tliv7
Depends: libcoq-mathcomp-fingroup (= 2.3.0-1build8), libcoq-hierarchy-builder-6dkl6, libcoq-stdlib-9imx0
Breaks: libssreflect-coq (<= 2.3.0-1build8)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-algebra_2.3.0-1build8_amd64.deb
Size: 13840154
MD5sum: 94755f90f6c837df47e3994b55622e86
SHA1: 8b33bcb3fb1e508a86dbb88648495980e2b6fb6c
SHA256: af364b08cd00eba72423834ddd0e8589c43f20d4ba62e3858c83364cb86d829d
SHA512: 3177ab5e50f64b5a94c09f311d3b4d55906a32ad727558bc9ec2e5d268ce424305f4c7f6034a0d6524fcc2922424c7601bcfa828f29b3127a81512ddd8a1af90
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (algebra)
Description-md5: 402a51057693053e1578bf2afd16f6e3