» Ubuntu » Пакети » questing (25.10) » haskell » libghc-agda-dev
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Източник: agda  ]

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

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

Screenshot

Ресурси за Ubuntu:

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

Отговорник:

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

Original Maintainer (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

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

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
s390x 44 997,9 кБ452 612,0 кБ [списък на файловете]