Paquet : libghc-lazysmallcheck-prof (0.6-15 et autres)

Liens pour libghc-lazysmallcheck-prof

Ressources Debian :

Télécharger le paquet source haskell-lazysmallcheck :

Responsables :

Ressources externes :

Page d'accueil [www.cs.york.ac.uk]

Paquets similaires :

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.

Autres paquets associés à libghc-lazysmallcheck-prof

dépendances

recommandations

suggestions

enhances

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

Paquet indisponible
dep: libghc-base-prof-4.13.0.0-f73fa [x32]

paquet virtuel fourni par ghc-prof
dep: libghc-base-prof-4.15.1.0-64902 [m68k]

paquet virtuel fourni par ghc-prof
dep: libghc-base-prof-4.17.2.0-e9124 [ia64]

paquet virtuel fourni par ghc-prof
dep: libghc-base-prof-4.18.2.1-038db [i386]

paquet virtuel fourni par ghc-prof
dep: libghc-base-prof-4.18.2.1-3be9b [armel, armhf]

paquet virtuel fourni par ghc-prof
dep: libghc-base-prof-4.18.2.1-665fa [ppc64]

paquet virtuel fourni par ghc-prof
dep: libghc-base-prof-4.18.2.1-75247 [arm64]

paquet virtuel fourni par ghc-prof
dep: libghc-base-prof-4.18.2.1-8e81e [amd64]

paquet virtuel fourni par ghc-prof
dep: libghc-base-prof-4.18.2.1-aa03d [alpha]

paquet virtuel fourni par ghc-prof
dep: libghc-base-prof-4.18.2.1-b19b4 [mips64el]

paquet virtuel fourni par ghc-prof
dep: libghc-base-prof-4.18.2.1-b5217 [riscv64]

paquet virtuel fourni par ghc-prof
dep: libghc-base-prof-4.18.2.1-b7e3b [ppc64el]

paquet virtuel fourni par ghc-prof
dep: libghc-base-prof-4.18.2.1-c1c31 [loong64]

paquet virtuel fourni par ghc-prof
dep: libghc-base-prof-4.18.2.1-c6b57 [sparc64]

paquet virtuel fourni par ghc-prof
dep: libghc-base-prof-4.18.2.1-e617e [hppa]

paquet virtuel fourni par ghc-prof
dep: libghc-base-prof-4.18.2.1-f2473 [s390x]

paquet virtuel fourni par 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]

infrastructure SGML et gestion de fichier de catalogue SGML

Télécharger libghc-lazysmallcheck-prof

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	0.6-15	66,5 ko	659,0 ko	[liste des fichiers]
amd64	0.6-15+b1	48,5 ko	419,0 ko	[liste des fichiers]
arm64	0.6-15+b1	54,6 ko	519,0 ko	[liste des fichiers]
armel	0.6-15	67,0 ko	512,0 ko	[liste des fichiers]
armhf	0.6-15	65,9 ko	503,0 ko	[liste des fichiers]
hppa (portage non officiel)	0.6-15+b2	75,2 ko	589,0 ko	[liste des fichiers]
i386	0.6-15+b1	65,5 ko	460,0 ko	[liste des fichiers]
ia64 (portage non officiel)	0.6-14+b1	81,8 ko	1 281,0 ko	[liste des fichiers]
loong64 (portage non officiel)	0.6-15+b1	84,2 ko	936,0 ko	[liste des fichiers]
m68k (portage non officiel)	0.6-13+b3	68,4 ko	470,0 ko	[liste des fichiers]
mips64el	0.6-15	64,6 ko	619,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	0.6-15	60,7 ko	649,0 ko	[liste des fichiers]
ppc64el	0.6-15	62,3 ko	631,0 ko	[liste des fichiers]
riscv64	0.6-15	89,9 ko	923,0 ko	[liste des fichiers]
s390x	0.6-15	74,4 ko	834,0 ko	[liste des fichiers]
sh4 (portage non officiel)	0.6-11+b1	61,1 ko	411,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	0.6-15	74,3 ko	966,0 ko	[liste des fichiers]
x32 (portage non officiel)	0.6-13	72,8 ko	519,0 ko	[liste des fichiers]