Skip to content
Sections
>> Trisquel >> Pakiety >> Wyniki wyszukiwania pakietu

Niektóre wyniki nie zostały wyświetlone w związku z parametrami wyszukiwania.

Szukano pakietów których nazwy zawierają libghc-sbv-dev w wszystkich gałęziach, wszystkich sekcjach i architekturze: amd64. Liczba pasujących pakietów: 1.

Dokładne dopasowania

Pakiet libghc-sbv-dev

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