alle opties
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Bron: haskell-lazysmallcheck  ]

Pakket: libghc-lazysmallcheck-prof (0.6-11 en anderen)

Verwijzigingen voor libghc-lazysmallcheck-prof


Debian bronnen:

Het bronpakket haskell-lazysmallcheck downloaden:


Externe bronnen:

Vergelijkbare pakketten:

A library for demand-driven testing of Haskell programs; profiling libraries

Lazy SmallCheck is a library for exhaustive, demand-driven testing of Haskell programs. It is based on the idea that if a property holds for a partially-defined input then it must also hold for all fully-defined refinements of the that input. Compared to ``eager'' input generation as in SmallCheck, Lazy SmallCheck may require significantly fewer test-cases to verify a property for all inputs up to a given depth.

This package provides a library for the Haskell programming language, compiled for profiling. See for more information on Haskell.

Andere aan libghc-lazysmallcheck-prof gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libghc-lazysmallcheck-prof downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 0.6-11+b2 65,3 kB638,0 kB [overzicht]
amd64 0.6-11+b2 50,7 kB411,0 kB [overzicht]
arm64 0.6-11+b2 55,0 kB458,0 kB [overzicht]
armel 0.6-11+b2 54,5 kB352,0 kB [overzicht]
armhf 0.6-11+b2 53,7 kB352,0 kB [overzicht]
hppa (unofficial port) 0.6-11+b3 77,1 kB581,0 kB [overzicht]
hurd-i386 0.6-11+b2 51,2 kB320,0 kB [overzicht]
i386 0.6-11+b2 51,1 kB320,0 kB [overzicht]
kfreebsd-amd64 0.6-11+b1 50,7 kB411,0 kB [overzicht]
kfreebsd-i386 0.6-11+b1 51,1 kB320,0 kB [overzicht]
m68k (unofficial port) 0.6-11+b2 67,4 kB479,0 kB [overzicht]
mips 0.6-11+b2 59,5 kB440,0 kB [overzicht]
mips64el 0.6-11+b2 63,4 kB604,0 kB [overzicht]
mipsel 0.6-11+b2 59,1 kB440,0 kB [overzicht]
powerpcspe (unofficial port) 0.6-10 59,6 kB473,0 kB [overzicht]
ppc64 (unofficial port) 0.6-11+b2 57,6 kB633,0 kB [overzicht]
ppc64el 0.6-11+b2 59,2 kB615,0 kB [overzicht]
riscv64 (unofficial port) 0.6-11+b2 97,2 kB1.030,0 kB [overzicht]
s390x 0.6-11+b2 58,0 kB545,0 kB [overzicht]
sh4 (unofficial port) 0.6-11 61,3 kB418,0 kB [overzicht]
sparc64 (unofficial port) 0.6-11+b2 80,8 kB996,0 kB [overzicht]
x32 (unofficial port) 0.6-11+b2 72,1 kB516,0 kB [overzicht]