Pakiet: libghc-lazysmallcheck-prof (0.6-15 i inne)

Odnośniki dla libghc-lazysmallcheck-prof

Zasoby systemu Debian:

Pobieranie pakietu źródłowego haskell-lazysmallcheck:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [www.cs.york.ac.uk]

Podobne pakiety:

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

Inne pakiety związane z libghc-lazysmallcheck-prof

wymaga

poleca

sugeruje

enhances

dep: libghc-base-prof-4.12.0.0-1d098 [sh4]

Pakiet niedostępny
dep: libghc-base-prof-4.13.0.0-f73fa [x32]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-base-prof-4.15.1.0-64902 [m68k]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-base-prof-4.17.2.0-e9124 [ia64]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-base-prof-4.18.2.1-038db [i386]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-base-prof-4.18.2.1-3be9b [armel, armhf]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-base-prof-4.18.2.1-665fa [ppc64]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-base-prof-4.18.2.1-75247 [arm64]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-base-prof-4.18.2.1-8e81e [amd64]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-base-prof-4.18.2.1-aa03d [alpha]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-base-prof-4.18.2.1-b19b4 [mips64el]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-base-prof-4.18.2.1-b5217 [riscv64]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-base-prof-4.18.2.1-b7e3b [ppc64el]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-base-prof-4.18.2.1-c1c31 [loong64]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-base-prof-4.18.2.1-c6b57 [sparc64]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-base-prof-4.18.2.1-e617e [hppa]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-base-prof-4.18.2.1-f2473 [s390x]

pakiet wirtualny udostępniany przez ghc-prof
dep: libghc-lazysmallcheck-dev (= 0.6-11+b1) [sh4]

A library for demand-driven testing of Haskell programs

dep: libghc-lazysmallcheck-dev (= 0.6-13) [x32]

dep: libghc-lazysmallcheck-dev (= 0.6-13+b3) [m68k]

dep: libghc-lazysmallcheck-dev (= 0.6-14+b1) [ia64]

dep: libghc-lazysmallcheck-dev (= 0.6-15) [alpha, armel, armhf, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64]

dep: libghc-lazysmallcheck-dev (= 0.6-15+b1) [amd64, arm64, i386, loong64]

dep: libghc-lazysmallcheck-dev (= 0.6-15+b2) [hppa]
dep: sgml-base (>= 1.28) [x32]

Infrastruktura SGML i obsługa plików katalogów SGML

Pobieranie libghc-lazysmallcheck-prof

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	0.6-15	66,5 KiB	659,0 KiB	[lista plików]
amd64	0.6-15+b1	48,5 KiB	419,0 KiB	[lista plików]
arm64	0.6-15+b1	54,6 KiB	519,0 KiB	[lista plików]
armel	0.6-15	67,0 KiB	512,0 KiB	[lista plików]
armhf	0.6-15	65,9 KiB	503,0 KiB	[lista plików]
hppa (port nieoficjalny)	0.6-15+b2	75,2 KiB	589,0 KiB	[lista plików]
i386	0.6-15+b1	65,5 KiB	460,0 KiB	[lista plików]
ia64 (port nieoficjalny)	0.6-14+b1	81,8 KiB	1 281,0 KiB	[lista plików]
loong64 (port nieoficjalny)	0.6-15+b1	84,2 KiB	936,0 KiB	[lista plików]
m68k (port nieoficjalny)	0.6-13+b3	68,4 KiB	470,0 KiB	[lista plików]
mips64el	0.6-15	64,6 KiB	619,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	0.6-15	60,7 KiB	649,0 KiB	[lista plików]
ppc64el	0.6-15	62,3 KiB	631,0 KiB	[lista plików]
riscv64	0.6-15	89,9 KiB	923,0 KiB	[lista plików]
s390x	0.6-15	74,4 KiB	834,0 KiB	[lista plików]
sh4 (port nieoficjalny)	0.6-11+b1	61,1 KiB	411,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	0.6-15	74,3 KiB	966,0 KiB	[lista plików]
x32 (port nieoficjalny)	0.6-13	72,8 KiB	519,0 KiB	[lista plików]