leancheck-extras: extra features for leancheck
Modules
- Test
- LeanCheck
- Test.LeanCheck.Extras
- LeanCheck
Downloads
- leancheck-extras-0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0 |
|---|---|
| Dependencies | base (>=4 && <5), leancheck (>=1 && <1.1) [details] |
| Tested with | ghc ==9.14, ghc ==9.12, ghc ==9.10, ghc ==9.8, ghc ==9.6 |
| License | BSD-3-Clause |
| Author | |
| Maintainer | none |
| Uploaded | by JohannesWaldmann at 2026-04-22T23:26:13Z |
| Category | Testing |
| Source repo | head: git clone https://git.imn.htwk-leipzig.de/waldmann/leancheck-extras.git |
| Distributions | |
| Downloads | 6 total (1 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs not available [build log] All reported builds failed as of 2026-04-23 [all 2 reports] |