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

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

Връзки за libghc-agda-dev

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.

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

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

dependently typed functional programming language

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

  • зависимости
  • препоръчани
  • предложени
  • enhances
  • sug: libghc-agda-doc
    dependently typed functional programming language; documentation

Изтегляне на libghc-agda-dev

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
amd64 10 420,3 кБ106 037,0 кБ [списък на файловете]
arm64 16 239,8 кБ194 990,0 кБ [списък на файловете]
i386 10 291,2 кБ85 948,0 кБ [списък на файловете]
powerpc 10 333,4 кБ104 725,0 кБ [списък на файловете]
ppc64el 16 328,8 кБ208 596,0 кБ [списък на файловете]
s390x 16 758,1 кБ188 512,0 кБ [списък на файловете]