Package: libcoq-mathcomp
Source: ssreflect
Priority: optional
Section: universe/math
Installed-Size: 128
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.6.0-3build2
Depends: libcoq-mathcomp-algebra (= 2.6.0-3build2), libcoq-mathcomp-field (= 2.6.0-3build2), libcoq-mathcomp-finite-group (= 2.6.0-3build2), libcoq-mathcomp-group-representation (= 2.6.0-3build2), libcoq-mathcomp-solvable (= 2.6.0-3build2), libcoq-mathcomp-ssreflect (= 2.6.0-3build2), mathcomp-doc
Filename: pool/universe/s/ssreflect/libcoq-mathcomp_2.6.0-3build2_amd64.deb
Size: 11856
SHA512: 012a0df62ad81bb232fb58908f1064c3b133d222524f43247f2b99c08af58d71058502242e2c6f527995df1f10ed6fe4ea610564b61fce946d1ded30e38b0791
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