Search in specific suite: [ecne] [ecne-updates] [ecne-security] [ecne-backports] [aramo] [aramo-updates] [aramo-security] [aramo-backports]
Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el] [riscv64]
Niektóre wyniki nie zostały wyświetlone w związku z parametrami wyszukiwania.
Szukano pakietów których nazwy zawierają elpa-agda2-mode w wszystkich gałęziach, wszystkich sekcjach i wszystkich architekturach. Liczba pasujących pakietów: 1.
Dokładne dopasowania
Pakiet elpa-agda2-mode
- aramo (editors):
dependently typed functional programming language — emacs mode
2.6.1-1build2.1: all