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

Пакунок: mathcomp-doc (2.6.0-3build2) [universe]

About

Screenshot

published in section universe

Ubuntu Resources:

Source Package ssreflect:

Maintainer:

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:

Similar packages:

Mathematical Components library for Coq (doc)

Інші пакунки пов'язані з mathcomp-doc

  • depends
  • recommends
  • suggests
  • enhances

Завантажити mathcomp-doc

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
all 6,711.8 kB133,745.0 kB [список файлів]