Package: libcoq-mathcomp
Architecture: amd64
Version: 2.1.0-1build4
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: 97621
Provides: libmathcomp-coq, libssreflect-coq, ssreflect
Depends: libcoq-mathcomp-algebra (= 2.1.0-1build4), libcoq-mathcomp-character (= 2.1.0-1build4), libcoq-mathcomp-field (= 2.1.0-1build4), libcoq-mathcomp-fingroup (= 2.1.0-1build4), libcoq-mathcomp-solvable (= 2.1.0-1build4), libcoq-mathcomp-ssreflect (= 2.1.0-1build4)
Breaks: libssreflect-coq (<= 2.1.0-1build4)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp_2.1.0-1build4_amd64.deb
Size: 2465172
MD5sum: bcc3d4ffa3f89456c0f8e7f6f8dfb45a
SHA1: 09fde8422c1ab057a487ee1e9a843b22427eeeb6
SHA256: 5bd7c9b36433bef843e73df8b08ea79a7f6b0162961d0069be36a5b8f1c194dc
SHA512: da69934509567e5513203054eb51ed51e3ba58824e2405a5b5d14506f948015ec378ec12a9a5affbe1cb020a98f6f17aac27e2e605c9d131593c57a1467ba932
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (all)
Description-md5: bd26831f634ff58fc6c73937049fe58a