» Ubuntu » Balíky » questing (25.10) » haskell » libghc-agda-dev
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Zdroj: agda  ]

Balík: libghc-agda-dev (2.6.4.3-1) [ports] [universe]

Odkazy pre libghc-agda-dev

Screenshot

Zdroje Ubuntu:

Stiahnuť zdrojový balík agda:

Správca:

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.

Externé zdroje:

Podobné balíky:

dependently typed functional programming language

Ostatné balíky súvisiace s balíkom libghc-agda-dev

  • závisí
  • odporúča
  • navrhuje
  • enhances

Stiahnuť libghc-agda-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
s390x 44,997.9 kB452,612.0 kB [zoznam súborov]