» Ubuntu » Пакети » xenial (16.04LTS) » haskell » agda-bin
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Източник: agda  ]

Пакет: agda-bin (2.4.2.5-1build1) [universe]

Връзки за agda-bin

Screenshot

Ресурси за Ubuntu:

Изтегляне на пакет-източник agda.

Отговорник:

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.

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

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

commandline interface to Agda

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

  • зависимости
  • препоръчани
  • предложени
  • enhances
  • dep: libc6 (>= 2.15) [не arm64, ppc64el]
    GNU C Library: Shared libraries
    също и виртуален пакет, предлаган от libc6-udeb
    dep: libc6 (>= 2.17) [arm64, ppc64el]
  • dep: libffi6 (>= 3.0.4) [не arm64]
    Foreign Function Interface library runtime
    dep: libffi6 (>= 3.2) [arm64]
  • dep: libgmp10
    Multiprecision arithmetic library
  • dep: libtinfo5 (>= 6)
    shared low-level terminfo library for terminal handling
  • dep: zlib1g (>= 1:1.1.4)
    compression library - runtime
  • sug: agda-mode
    dependently typed functional programming language — emacs mode

Изтегляне на agda-bin

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
amd64 4 691,0 кБ35 907,0 кБ [списък на файловете]
arm64 7 771,6 кБ78 454,0 кБ [списък на файловете]
i386 4 672,0 кБ28 361,0 кБ [списък на файловете]
powerpc 4 195,3 кБ35 017,0 кБ [списък на файловете]
ppc64el 6 578,3 кБ89 142,0 кБ [списък на файловете]
s390x 11 454,7 кБ99 098,0 кБ [списък на файловете]