в именах пакетов в описаниях пакетов в именах пакетов исходного кода в содержимом пакетов все параметры

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

[ Источник: metamath-databases  ]

Ссылки для metamath-databases

Ресурсы Ubuntu:

• Сообщения об ошибках
• Ubuntu журнал изменений
• Файл авторских прав

Исходный код metamath-databases:

• [metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz]
• [metamath-databases_0.0.0~20210101.git55fe226-2build1.debian.tar.xz]
• [metamath-databases_0.0.0~20210101.git55fe226-2build1.dsc]

Сопровождающий:

• Ubuntu MOTU Developers (Почтовый архив)

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

Original Maintainer (usually from Debian):

• Giovanni Mascellani

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

Внешние ресурсы:

• Сайт [us.metamath.org]

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

• openzwave
• avldrums.lv2
• vflib3-bin
• avldrums.lv2-soundfont
• gbrowse-data
• krb5-gss-samples
• libvanessa-logger-sample
• sndfile-programs
• elektroid
• dxsamples
• nrefactory-samples

Другие пакеты, относящиеся к metamath-databases

зависимости

рекомендации

предложения

enhances

• rec: metamath

  Language for mathematical proofs

Загрузка metamath-databases

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
all	13 126,5 Кб	48 088,0 Кб	[список файлов]