Path to this page:
NOTICE: This package has been removed from pkgsrc./
wip/hs-dependent-sum,
Dependent sum type
Branch: CURRENT,
Version: 0.2.0.1,
Package name: hs-dependent-sum-0.2.0.1,
Maintainer: phoDependent sums and supporting typeclasses for comparing and formatting
them.
Required to run:[
wip/ghc]
Required to build:[
pkgtools/cwrappers]
Master sites:
SHA1: 3ed1d7f956183f701dfbce136d8b6dfd656065ef
RMD160: 4edf10dd07f40da1abbab64a71c785a2ba9803d6
Filesize: 5.52 KB
Version history: (Expand)
- (2020-09-29) Package deleted from pkgsrc
- (2020-01-02) Package has been reborn
- (2019-12-17) Package deleted from pkgsrc
- (2019-12-15) Package has been reborn
- (2019-12-14) Package deleted from pkgsrc
- (2019-06-25) Package has been reborn
CVS history: (Expand)