» Ubuntu » Пакети » tenacious » doc » mathcomp-doc
[  stonking  ] [  tenacious  ]
[ Източник: ssreflect  ]

Пакет: mathcomp-doc (2.6.0-3build2) [universe]

За сайта

Screenshot

published in section universe

Ресурси за Ubuntu:

Source Package ssreflect:

Отговорник:

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

Original Maintainers (usually from Debian):

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

Външни препратки:

Подобни пакети:

Mathematical Components library for Coq (doc)

Други пакети, свързани с mathcomp-doc

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на mathcomp-doc

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
all 6 711,8 кБ133 745,0 кБ [списък на файловете]