lean
Package maintainers For package maintainers and hackage trustees Candidates
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
almost 7 years ago
0.0.0.1
almost 7 years ago
Versions
1
1
Downloads
586 total
586 total
No dependent packages found.
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter
Filter by Kind
Links
| Registry | hackage.haskell.org |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/lean
spec |
| License | BSD-3-Clause |
| First Release | almost 7 years ago |
| Last Synced | 6 days ago |