Limiter à la suite : [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Chercher dans toutes les suites
Limiter à l'architecture : [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [m68k] [mips] [mips64el] [mipsel] [powerpc] [powerpcspe] [ppc64] [ppc64el] [riscv64] [s390] [s390x] [sh4] [sparc] [sparc64] [x32]
Chercher dans toutes les architectures
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) sid, toutes les sections, et architecture(s) ppc64. 7 paquets correspondants trouvés.
Résultats exacts
Paquet agda
- sid (unstable) (misc):
langage de programmation fonctionnel typé de façon dépendante
2.6.3-2: all
Autres résultats
Paquet agda-bin
- sid (unstable) (haskell):
interface en ligne de commande pour Agda
2.6.3-2 [debports]: ppc64
Paquet agda-stdlib
- sid (unstable) (libs):
bibliothèque standard pour Agda
1.7.3-1: all
Paquet agda-stdlib-doc
- sid (unstable) (doc):
bibliothèque standard pour Agda - documentation
1.7.3-1: all
Paquet elpa-agda2-mode
- sid (unstable) (editors):
langage de programmation fonctionnel typé de façon dépendante - mode emacs
2.6.3-2: all
Paquet libghc-agda-dev
- sid (unstable) (haskell):
langage de programmation fonctionnel typé de façon dépendante
2.6.3-2 [debports]: ppc64
Paquet libghc-agda-doc
- sid (unstable) (doc):
dependently typed functional programming language; documentation
2.6.3-2: all