libghc-smallcheck-dev binary package in openKylin Yangtze V1.0 riscv64
SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but
instead of testing for a sample of randomly generated values, SmallCheck
tests properties for all the finitely many values up to some depth,
progressively increasing the depth used.
.
This package provides a library for the Haskell programming language.
See http://
Publishing history
| Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
|---|---|---|---|---|---|---|---|---|---|
| 2023-01-05 03:37:00 UTC | Published | openKylin Yangtze V1.0 riscv64 | release | main | haskell | Optional | 1.2.1-ok1 | ||
|
|||||||||
| 2022-11-14 01:15:40 UTC | Published | openKylin Yangtze V1.0 riscv64 | proposed | main | haskell | Optional | 1.2.1-ok1 | ||
|
|||||||||
