[ Source: hugs98 ]
Пакунок: libhugs-quickcheck-bundled (98.200609.21-6 and others)
Links for libhugs-quickcheck-bundled
Debian Resources:
Download Source Package hugs98:
Maintainer:
External Resources:
- Homepage [www.haskell.org]
Similar packages:
Automatic testing of Haskell programs
A library for testing Haskell programs automatically. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. Specifications are expressed in Haskell, using combinators defined in the QuickCheck library. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators.
This is the version bundled with the interpreter.
Інші пакунки пов'язані з libhugs-quickcheck-bundled
|
|
|
|
-
- dep: hugs (= 98.200609.21-6+b2)
- Haskell 98 interpreter
-
- dep: libhugs-base
- virtual package provided by libhugs-base-bundled
Завантажити libhugs-quickcheck-bundled
| Архітектура | Версія | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|---|
| alpha (unofficial port) | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| amd64 | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| arm64 | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| armel | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| armhf | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| hppa (unofficial port) | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| i386 | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| ia64 (unofficial port) | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| m68k (unofficial port) | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| mips64el | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| ppc64 (unofficial port) | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| ppc64el | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| riscv64 | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| s390x | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| sh4 (unofficial port) | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| sparc64 (unofficial port) | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |
| x32 (unofficial port) | 98.200609.21-6+b2 | 10.2 kB | 48.0 kB | [список файлів] |