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

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

Tietoa

Screenshot

published in section universe

Ubuntu-palvelut:

Source Package ssreflect:

Ylläpitäjä:

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:

Samankaltaisia paketteja:

Mathematical Components library for Coq (doc)

Muut pakettiin mathcomp-doc liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi mathcomp-doc

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
all 6,711.8 kt133,745.0 kt [tiedostoluettelo]