Skip to content
Sections
>> Trisquel >> Paketler >> Paket Arama Sonuçları

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]

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

tüm takımlar takımının tüm bölümler bölümlerinde ve tüm mimariler mimarilerinde, agda sözünü barındıran paketler aradınız 8 eşleşen paket bulundu.

Tam eşleşmeler

agda Paketi

  • aramo (misc): dependently typed functional programming language
    2.6.1-1build2.1: all
  • nabia (misc): dependently typed functional programming language
    2.6.0.1-1build4: all
  • etiona (misc): dependently typed functional programming language
    2.5.3-3build1: all

Diğer eşleşmeler

agda-bin Paketi

  • aramo (haskell): commandline interface to Agda
    2.6.1-1build2.1: amd64 ppc64el
  • nabia (haskell): commandline interface to Agda
    2.6.0.1-1build4: amd64
  • etiona (haskell): commandline interface to Agda
    2.5.3-3build1: amd64 i386

agda-mode Paketi

  • nabia (misc): transitional dummy package for elpa-agda2-mode
    2.6.0.1-1build4: all
    ayrıca sağlayan: elpa-agda2-mode
  • etiona (misc): transitional dummy package for elpa-agda2-mode
    2.5.3-3build1: all
    ayrıca sağlayan: elpa-agda2-mode

agda-stdlib Paketi

  • aramo (libs): standard library for Agda
    1.3-2: all
  • nabia (libs): standard library for Agda
    1.1-1: all
  • etiona (libs): standard library for Agda
    0.14-1: all

agda-stdlib-doc Paketi

  • aramo (doc): standard library for Agda — documentation
    1.3-2: all
  • nabia (doc): standard library for Agda — documentation
    1.1-1: all
  • etiona (doc): standard library for Agda — documentation
    0.14-1: all

elpa-agda2-mode Paketi

  • aramo (editors): dependently typed functional programming language — emacs mode
    2.6.1-1build2.1: all
  • nabia (editors): dependently typed functional programming language — emacs mode
    2.6.0.1-1build4: all
  • etiona (editors): dependently typed functional programming language — emacs mode
    2.5.3-3build1: all

libghc-agda-dev Paketi

  • aramo (haskell): dependently typed functional programming language
    2.6.1-1build2.1: amd64 ppc64el
  • nabia (haskell): dependently typed functional programming language
    2.6.0.1-1build4: amd64
  • etiona (haskell): dependently typed functional programming language
    2.5.3-3build1: amd64 i386

libghc-agda-doc Paketi

  • aramo (doc): dependently typed functional programming language; documentation
    2.6.1-1build2.1: all
  • nabia (doc): dependently typed functional programming language; documentation
    2.6.0.1-1build4: all
  • etiona (doc): dependently typed functional programming language; documentation
    2.5.3-3build1: all