Skip to content
Sections
>> Trisquel >> Paket >> Paketsökresultat

Du har sökt efter paket vars namn innehåller libghc-agda-doc i alla sviter, alla sektioner och arkitektur(er) arm64. Hittade 1 paket.

Exakta träffar

Paketet libghc-agda-doc

  • 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