Пакет: libghc-lazysmallcheck-dev (0.6-14 и другие)

[ Источник: haskell-lazysmallcheck  ]

A library for demand-driven testing of Haskell programs

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

Другие пакеты, относящиеся к libghc-lazysmallcheck-dev

• dep: ghc (<< 8.8.1+dfsg1+is+8.6.5+dfsg1+) [sh4]

  The Glasgow Haskell Compilation system

  dep: ghc (>= 8.8.1+dfsg1+is+8.6.5+dfsg1-1) [sh4]

• dep: libatomic1 (>= 4.8) [sh4]

  библиотека для атомарного выполнения кода

• dep: libc6 (>= 2.1.3) [i386, m68k]

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

  dep: libc6 (>= 2.16) [x32]

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.2) [hppa, mips64el, s390x, sparc64]

  dep: libc6 (>= 2.2.5) [amd64]

  dep: libc6 (>= 2.27) [riscv64]

  dep: libc6 (>= 2.29) [sh4]

  dep: libc6 (>= 2.3) [ppc64]

  dep: libc6 (>= 2.4) [armel, armhf]

• dep: libc6.1 (>= 2.1.3) [alpha]

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6.1-udeb

  dep: libc6.1 (>= 2.37) [ia64]

• dep: libghc-base-dev-4.13.0.0-f73fa [x32]

  виртуальный пакет, предоставляемый ghc

• dep: libghc-base-dev-4.15.1.0-64902 [m68k]

  виртуальный пакет, предоставляемый ghc

• dep: libghc-base-dev-4.17.2.0-09ce5 [alpha]

  виртуальный пакет, предоставляемый ghc

• dep: libghc-base-dev-4.17.2.0-42c25 [mips64el]

  виртуальный пакет, предоставляемый ghc

• dep: libghc-base-dev-4.17.2.0-68dfe [amd64]

  виртуальный пакет, предоставляемый ghc

• dep: libghc-base-dev-4.17.2.0-696e5 [s390x]

  виртуальный пакет, предоставляемый ghc

• dep: libghc-base-dev-4.17.2.0-9226a [ppc64el]

  виртуальный пакет, предоставляемый ghc

• dep: libghc-base-dev-4.17.2.0-9c962 [riscv64]

  виртуальный пакет, предоставляемый ghc

• dep: libghc-base-dev-4.17.2.0-a042f [i386]

  виртуальный пакет, предоставляемый ghc

• dep: libghc-base-dev-4.17.2.0-a0b40 [armel, armhf]

  виртуальный пакет, предоставляемый ghc

• dep: libghc-base-dev-4.17.2.0-cbe25 [hppa]

  виртуальный пакет, предоставляемый ghc

• dep: libghc-base-dev-4.17.2.0-cddcc [ppc64]

  виртуальный пакет, предоставляемый ghc

• dep: libghc-base-dev-4.17.2.0-ce2a7 [arm64]

  виртуальный пакет, предоставляемый ghc

• dep: libghc-base-dev-4.17.2.0-de4d5 [sparc64]

  Пакет недоступен

• dep: libghc-base-dev-4.17.2.0-e9124 [ia64]

  виртуальный пакет, предоставляемый ghc

• dep: libgmp10 [sh4]

  библиотека для работы с числами произвольной точности

  dep: libgmp10 (>= 2:6.2.1+dfsg1) [m68k]

  dep: libgmp10 (>= 2:6.3.0+dfsg) [не m68k, sh4, x32]

• dep: sgml-base (>= 1.28) [x32]

  инфраструктура и поддержка файлов каталогов SGML

• sug: libghc-lazysmallcheck-doc

  A library for demand-driven testing of Haskell programs; documentation

• sug: libghc-lazysmallcheck-prof

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

Загрузка libghc-lazysmallcheck-dev

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	0.6-14+b1	85,7 Кб	816,0 Кб	[список файлов]
amd64	0.6-14+b1	65,3 Кб	480,0 Кб	[список файлов]
arm64	0.6-14+b1	65,9 Кб	550,0 Кб	[список файлов]
armel	0.6-14+b2	69,0 Кб	559,0 Кб	[список файлов]
armhf	0.6-14+b2	67,8 Кб	555,0 Кб	[список файлов]
hppa (неофициальный перенос)	0.6-14+b2	103,1 Кб	776,0 Кб	[список файлов]
i386	0.6-14+b1	90,4 Кб	607,0 Кб	[список файлов]
ia64 (неофициальный перенос)	0.6-14+b1	92,5 Кб	1 319,0 Кб	[список файлов]
m68k (неофициальный перенос)	0.6-13+b3	84,8 Кб	604,0 Кб	[список файлов]
mips64el	0.6-14+b1	81,3 Кб	774,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	0.6-14+b1	77,1 Кб	810,0 Кб	[список файлов]
ppc64el	0.6-14+b1	79,0 Кб	717,0 Кб	[список файлов]
riscv64	0.6-14+b2	87,4 Кб	791,0 Кб	[список файлов]
s390x	0.6-14+b1	80,6 Кб	815,0 Кб	[список файлов]
sh4 (неофициальный перенос)	0.6-11+b1	79,7 Кб	576,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	0.6-14+b5	93,4 Кб	1 035,0 Кб	[список файлов]
x32 (неофициальный перенос)	0.6-13	93,9 Кб	634,0 Кб	[список файлов]