» Ubuntu » Pakketten » tenacious » doc » mathcomp-doc
[  stonking  ] [  tenacious  ]
[ Bron: ssreflect  ]

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

Over

Screenshot

published in section universe

Ubuntu bronnen:

Source Package ssreflect:

Beheerder:

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

Original Maintainers (usually from Debian):

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

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

Externe bronnen:

Vergelijkbare pakketten:

Mathematical Components library for Coq (doc)

Andere aan mathcomp-doc gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

mathcomp-doc downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
all 6.711,8 kB133.745,0 kB [overzicht]