» Ubuntu » Packages » resolute (26.04LTS) » math » metamath
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Source: metamath  ]

Пакунок: metamath (0.198-2) [universe]

Links for metamath

Screenshot

Ubuntu Resources:

Download Source Package metamath:

Maintainer:

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.

External Resources:

Similar packages:

Language for mathematical proofs

Інші пакунки пов'язані з metamath

  • depends
  • recommends
  • suggests
  • enhances
  • dep: libc6 (>= 2.34)
    GNU C Library: Shared libraries

Завантажити metamath

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
amd64 404.8 kB954.0 kB [список файлів]
arm64 442.6 kB914.0 kB [список файлів]
armhf 348.7 kB656.0 kB [список файлів]
ppc64el 505.8 kB1,106.0 kB [список файлів]
riscv64 450.7 kB830.0 kB [список файлів]
s390x 408.6 kB1,021.0 kB [список файлів]