» Ubuntu » Packages » tenacious » doc » mathcomp-doc
[  stonking  ] [  tenacious  ]
[ Source: ssreflect  ]

Package: mathcomp-doc (2.6.0-3build2) [universe]

About

Screenshot

published in section universe

Ubuntu Resources:

Source Package ssreflect:

Maintainer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Mail Archive)
  • Stéphane Glondu
  • Julien Puydt
  • Ralf Treinen

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Similar packages:

Mathematical Components library for Coq (doc)

Other Packages Related to mathcomp-doc

  • depends
  • recommends
  • suggests
  • enhances

Download mathcomp-doc

Download for all available architectures
Architecture Package Size Installed Size Files
all 6,711.8 kB133,745.0 kB [list of files]