» Ubuntu » Pakiety » tenacious » doc » mathcomp-doc
[  stonking  ] [  tenacious  ]
[ Pakiet źródłowy: ssreflect  ]

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

O

Screenshot

published in section universe

Zasoby systemu Ubuntu:

Source Package ssreflect:

Opiekun:

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

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Archiwum e-mail)
  • Stéphane Glondu
  • Julien Puydt
  • Ralf Treinen

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

Zasoby zewnętrzne:

Podobne pakiety:

Mathematical Components library for Coq (doc)

Inne pakiety związane z mathcomp-doc

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie mathcomp-doc

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
all 6 711,8 KiB133 745,0 KiB [lista plików]