alle opties
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Bron: haskell-sbv  ]

Pakket: libghc-sbv-dev (10.2-1 en anderen)

Verwijzigingen voor libghc-sbv-dev

Screenshot

Debian bronnen:

Het bronpakket haskell-sbv downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

symbolic Haskell theorem prover using SMT solving

Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Andere aan libghc-sbv-dev gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libghc-sbv-dev downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 10.2-1+b1 11.487,1 kB136.801,0 kB [overzicht]
amd64 10.2-1+b2 6.914,7 kB69.829,0 kB [overzicht]
arm64 10.2-1+b2 7.555,6 kB85.197,0 kB [overzicht]
armel 10.2-1+b2 9.848,0 kB92.029,0 kB [overzicht]
armhf 10.2-1+b2 9.691,1 kB90.431,0 kB [overzicht]
hppa (unofficial port) 10.2-1+b2 14.163,1 kB140.223,0 kB [overzicht]
i386 10.2-1+b1 11.165,5 kB100.109,0 kB [overzicht]
ia64 (unofficial port) 10.2-1+b2 14.547,3 kB252.709,0 kB [overzicht]
m68k (unofficial port) 8.17-1+b2 10.622,0 kB98.607,0 kB [overzicht]
mips64el 10.2-1+b2 10.103,2 kB130.832,0 kB [overzicht]
ppc64 (unofficial port) 10.2-1+b4 9.825,0 kB140.131,0 kB [overzicht]
ppc64el 10.2-1+b2 10.436,1 kB125.798,0 kB [overzicht]
riscv64 10.2-1+b2 13.676,1 kB160.835,0 kB [overzicht]
s390x 10.2-1+b2 13.004,3 kB159.374,0 kB [overzicht]
sparc64 (unofficial port) 10.2-1+b3 12.441,3 kB184.317,0 kB [overzicht]
x32 (unofficial port) 8.17-1+b2 12.446,8 kB120.558,0 kB [overzicht]