» Ubuntu » Pakete » tenacious » doc » mathcomp-doc
[  stonking  ] [  tenacious  ]
[ Quellcode: ssreflect  ]

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

Über

Screenshot

published in section universe

Ubuntu-Ressourcen:

Source Package ssreflect:

Betreuer:

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-Mail-Archiv)
  • Stéphane Glondu
  • Julien Puydt
  • Ralf Treinen

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

Externe Ressourcen:

Ähnliche Pakete:

Mathematical Components library for Coq (doc)

Andere Pakete mit Bezug zu mathcomp-doc

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • enhances

mathcomp-doc herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 6.711,8 kB133.745,0 kB [Liste der Dateien]