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

Pakket: libghc-sbv-prof (10.2-2 en anderen)

Verwijzigingen voor libghc-sbv-prof

Screenshot

Debian bronnen:

Het bronpakket haskell-sbv downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

symbolic Haskell theorem prover using SMT solving; profiling libraries

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, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.

Andere aan libghc-sbv-prof gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libghc-sbv-prof downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 10.2-2 8.542,7 kB109.652,0 kB [overzicht]
amd64 10.2-2+b1 5.892,2 kB67.597,0 kB [overzicht]
arm64 10.2-2+b1 6.863,4 kB86.054,0 kB [overzicht]
armel 10.2-2+b1 8.037,7 kB80.266,0 kB [overzicht]
armhf 10.2-2+b1 7.897,2 kB78.659,0 kB [overzicht]
hppa (unofficial port) 10.2-2+b2 10.598,5 kB99.886,0 kB [overzicht]
i386 10.2-2+b1 8.472,5 kB73.860,0 kB [overzicht]
ia64 (unofficial port) 10.2-1+b2 12.554,8 kB229.449,0 kB [overzicht]
loong64 (unofficial port) 10.2-2+b1 12.662,0 kB163.196,0 kB [overzicht]
m68k (unofficial port) 8.17-1+b2 8.359,1 kB88.233,0 kB [overzicht]
mips64el 10.2-2+b1 7.957,6 kB102.571,0 kB [overzicht]
ppc64 (unofficial port) 10.2-2 7.507,3 kB112.620,0 kB [overzicht]
ppc64el 10.2-2 7.965,6 kB108.831,0 kB [overzicht]
riscv64 10.2-2 12.841,8 kB163.821,0 kB [overzicht]
s390x 10.2-2 9.089,6 kB134.026,0 kB [overzicht]
sparc64 (unofficial port) 10.2-2 10.338,4 kB165.200,0 kB [overzicht]
x32 (unofficial port) 8.17-1+b2 8.970,3 kB91.700,0 kB [overzicht]