Skip to content
Sections
>> Trisquel >> Balíky >> Výsledky hľadania balíkov

Hľadať v konkrétnej sade: [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]

Hľadali ste balíky ktorých názvy obsahujú libghc-sbv-doc v všetky sady, všetky sekcie a všetky architektúry. Našlo sa 1 zodpovedajúcich balíkov.

Presné výsledky

Balík libghc-sbv-doc

  • aramo (doc): symbolic Haskell theorem prover using SMT solving; documentation
    8.7-1build3: all
  • nabia (doc): symbolic Haskell theorem prover using SMT solving; documentation
    7.13-1build1: all
  • etiona (doc): symbolic Haskell theorem prover using SMT solving; documentation
    5.14-1build3: all