Package: libcoq-mathcomp
Architecture: amd64
Version: 2.3.0-1build12
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: 111202
Provides: libmathcomp-coq, libssreflect-coq, ssreflect
Depends: libcoq-mathcomp-algebra (= 2.3.0-1build12), libcoq-mathcomp-character (= 2.3.0-1build12), libcoq-mathcomp-field (= 2.3.0-1build12), libcoq-mathcomp-fingroup (= 2.3.0-1build12), libcoq-mathcomp-solvable (= 2.3.0-1build12), libcoq-mathcomp-ssreflect (= 2.3.0-1build12)
Breaks: libssreflect-coq (<= 2.3.0-1build12)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp_2.3.0-1build12_amd64.deb
Size: 2615174
MD5sum: bc0c3b1bd1e60d513eeeaba3e378942a
SHA1: 1e4a8ecced84f56f0b4c9d0c1e9ea198ae8c7982
SHA256: 42fdaff16a1653dae4538fc4c21fe3c700476ce69eac156474a7c69ec4c4e80c
SHA512: c60299327f79b32e168e023b4b1fa5825e014383cc98bc91935b13779defe05460adfdba0ece945edb46419165ddf8279d7ca9bb010c826a931c6e833a53f18c
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (all)
Description-md5: bd26831f634ff58fc6c73937049fe58a