Pacote-fonte: agda-stdlib (2.1-4)
Links para agda-stdlib
Recursos de Debian:
Mantenedores(as):
Fontes externas:
Os seguintes pacotes binários são criados a partir deste pacote-fonte:
- agda-stdlib
- standard library for Agda
- agda-stdlib-doc
- standard library for Agda — documentation
Outros pacotes relacionados a agda-stdlib
-
- adep:
debhelper-compat
(= 12)
- Pacote não disponível
-
- adep:
ghc
(>= 9.6)
- sistema de compilação Glasgow Haskell
-
- adep:
agda-bin
(>= 2.6.4.3)
- commandline interface to Agda
-
- adep:
agda-bin
(<< 2.6.4.4~)
- commandline interface to Agda
-
- adep:
libghc-agda-dev
(>= 2.6.4.3)
- dependently typed functional programming language
-
- adep:
libghc-agda-dev
(<< 2.6.4.4~)
- dependently typed functional programming language
-
- adep:
libghc-filemanip-dev
(>= 0.3.6.2)
- expressive file and directory manipulation for Haskell
-
- adep:
libghc-filemanip-dev
(<< 0.4)
- expressive file and directory manipulation for Haskell
