» Ubuntu » Пакеты » bionic (18.04LTS) » misc » mona
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Источник: mona  ]

Пакет: mona (1.4-17-1) [universe]

Ссылки для mona

Screenshot

Ресурсы Ubuntu:

Исходный код mona:

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

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.

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

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

theorem prover based on automata

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

  • зависимости
  • рекомендации
  • предложения
  • enhances
  • dep: libc6 (>= 2.14) [amd64]
    GNU C Library: Shared libraries
    также виртуальный пакет, предоставляемый libc6-udeb
    dep: libc6 (>= 2.17) [arm64, ppc64el]
    dep: libc6 (>= 2.7) [armhf, i386, s390x]
  • dep: libgcc1 (>= 1:3.0) [не armhf]
    GCC support library
    dep: libgcc1 (>= 1:3.5) [armhf]
  • dep: libstdc++6 (>= 4.2.1) [не armhf]
    GNU Standard C++ Library v3
    dep: libstdc++6 (>= 4.3.0) [armhf]
  • rec: graphviz
    rich set of graph drawing tools

Загрузка mona

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
amd64 396,5 Кб1 424,0 Кб [список файлов]
arm64 348,0 Кб1 270,0 Кб [список файлов]
armhf 338,9 Кб888,0 Кб [список файлов]
i386 386,0 Кб1 220,0 Кб [список файлов]
ppc64el 380,5 Кб1 856,0 Кб [список файлов]
s390x 372,3 Кб1 547,0 Кб [список файлов]