Package: libcoq-mathcomp
Source: ssreflect
Priority: optional
Section: universe/math
Installed-Size: 111202
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.3.0-1build19
Replaces: libssreflect-coq
Provides: libmathcomp-coq, libssreflect-coq, ssreflect
Depends: libcoq-mathcomp-algebra (= 2.3.0-1build19), libcoq-mathcomp-character (= 2.3.0-1build19), libcoq-mathcomp-field (= 2.3.0-1build19), libcoq-mathcomp-fingroup (= 2.3.0-1build19), libcoq-mathcomp-solvable (= 2.3.0-1build19), libcoq-mathcomp-ssreflect (= 2.3.0-1build19)
Breaks: libssreflect-coq (<= 2.3.0-1build19)
Filename: pool/universe/s/ssreflect/libcoq-mathcomp_2.3.0-1build19_amd64.deb
Size: 2615644
MD5sum: 7bfc263c7e307ba6b15fc4e7d7beff65
SHA1: 504e49a745d6d0b3e103c08f08ef3d40c76ed0db
SHA256: 043161b7622b71dd17aab111675ca396147a8bc34f38f7f3152e94d434730957
SHA512: 8e52ad0d962554fedce7e72d7e14156fbacabd9019c1171764c4fb9ce269592a6181927299a7616c68789f6bf8a2dfb0e00108d7c6c2991c97d5743ff8673ce8
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (all)
Description-md5: bd26831f634ff58fc6c73937049fe58a
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug