Skip to content
Sections
>> Trisquel >> 套件 >> 套件搜尋結果

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]

在所有硬體架構中搜尋

您在所有發行版中 ppc64el 硬體架構下所有區域里，指定關鍵字 agda-stdlib 在套件名稱中搜尋的結果。 找到 2 個匹配的套件。

完整匹配

套件 agda-stdlib

  • 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

  • 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