Chercher dans une suite spécifique : [aramo] [aramo-updates] [aramo-security] [aramo-backports] [nabia] [nabia-updates] [nabia-security] [nabia-backports] [etiona] [etiona-updates] [etiona-security] [etiona-backports]
Chercher dans toutes les suites
Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el]
Certains résultats n'ont pas été affichés en raison des paramètres de recherche.
Vous avez recherché des paquets dont les noms contiennent agda dans version(s) etiona, toutes les sections, et toutes les architectures. 8 paquets correspondants trouvés.
Résultats exacts
Paquet agda
- etiona (misc):
dependently typed functional programming language
2.5.3-3build1: all
Autres résultats
Paquet agda-bin
- etiona (haskell):
commandline interface to Agda
2.5.3-3build1: amd64 i386
Paquet agda-mode
- etiona (misc):
transitional dummy package for elpa-agda2-mode
2.5.3-3build1: all
également fourni par : elpa-agda2-mode
Paquet agda-stdlib
- etiona (libs):
standard library for Agda
0.14-1: all
Paquet agda-stdlib-doc
- etiona (doc):
standard library for Agda — documentation
0.14-1: all
Paquet elpa-agda2-mode
- etiona (editors):
dependently typed functional programming language — emacs mode
2.5.3-3build1: all
Paquet libghc-agda-dev
- etiona (haskell):
dependently typed functional programming language
2.5.3-3build1: amd64 i386
Paquet libghc-agda-doc
- etiona (doc):
dependently typed functional programming language; documentation
2.5.3-3build1: all