» Ubuntu » Paket » tenacious » doc » mathcomp-doc
[  stonking  ] [  tenacious  ]
[ Källkod: ssreflect  ]

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

Om

Screenshot

published in section universe

Ubunturesurser:

Source Package ssreflect:

Ansvarig:

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

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (E-postarkiv)
  • Stéphane Glondu
  • Julien Puydt
  • Ralf Treinen

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

Externa resurser:

Liknande paket:

Mathematical Components library for Coq (doc)

Andra paket besläktade med mathcomp-doc

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta mathcomp-doc

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
all 6.711,8 kbyte133.745,0 kbyte [filförteckning]