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

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

О Debian

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 Кб [список файлов]