Package: libcoq-mathcomp
Architecture: all
Version: 1.14.0-7
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: 81943
Provides: libmathcomp-coq, libssreflect-coq, ssreflect
Depends: libcoq-mathcomp-algebra (= 1.14.0-7), libcoq-mathcomp-character (= 1.14.0-7), libcoq-mathcomp-field (= 1.14.0-7), libcoq-mathcomp-fingroup (= 1.14.0-7), libcoq-mathcomp-solvable (= 1.14.0-7), libcoq-mathcomp-ssreflect (= 1.14.0-7), coq-8.15.0+4.13.1
Breaks: libssreflect-coq (<= 1.14.0-7)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp_1.14.0-7_all.deb
Size: 2653510
MD5sum: 3d07a65354036cb6f91c43024472f39c
SHA1: a4b1e0bc30fbeb88a595cac33b9aece12770cde9
SHA256: c4500a4c1be2d163af98c6622c7ff3127473efac8410d443ad66aab0c01eaff5
SHA512: 855a879b151c201bac06bcfbdc212b33070c69c5221df2a980cc0da2b5ac6d22a3dfc93c24ec6b594bee382d155cd846cab36df21a9abea3d3981cb71f438ad8
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (all)
Description-md5: bd26831f634ff58fc6c73937049fe58a