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

Vissa resultat har inte visats på grund av sökparametrarna.

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

Exakta träffar

Paketet libghc-sbv-dev

  • aramo (haskell): symbolic Haskell theorem prover using SMT solving
    8.7-1build3: armhf
  • nabia (haskell): symbolic Haskell theorem prover using SMT solving
    7.13-1build1: armhf