Skip to content
Sections
>> Trisquel >> Pakiety >> Wyniki wyszukiwania pakietu

Search in specific suite: [aramo] [aramo-updates] [aramo-security] [aramo-backports] [nabia] [nabia-updates] [nabia-security] [nabia-backports] [etiona] [etiona-updates] [etiona-security] [etiona-backports]

Szukaj we wszystkich gałęziach

Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el]

Niektóre wyniki nie zostały wyświetlone w związku z parametrami wyszukiwania.

Szukano pakietów których nazwy zawierają agda w gałęzi: nabia, wszystkich sekcjach i wszystkich architekturach. Liczba pasujących pakietów: 8.

Dokładne dopasowania

Pakiet agda

  • nabia (misc): dependently typed functional programming language
    2.6.0.1-1build4: all

Inne wyniki

Pakiet agda-bin

  • nabia (haskell): commandline interface to Agda
    2.6.0.1-1build4: amd64

Pakiet agda-mode

  • nabia (misc): transitional dummy package for elpa-agda2-mode
    2.6.0.1-1build4: all
    udostępniany również przez: elpa-agda2-mode

Pakiet agda-stdlib

  • nabia (libs): standard library for Agda
    1.1-1: all

Pakiet agda-stdlib-doc

  • nabia (doc): standard library for Agda — documentation
    1.1-1: all

Pakiet elpa-agda2-mode

  • nabia (editors): dependently typed functional programming language — emacs mode
    2.6.0.1-1build4: all

Pakiet libghc-agda-dev

  • nabia (haskell): dependently typed functional programming language
    2.6.0.1-1build4: amd64

Pakiet libghc-agda-doc

  • nabia (doc): dependently typed functional programming language; documentation
    2.6.0.1-1build4: all