NOTICE: This package has been removed from pkgsrc

./wip/hs-dependent-sum, Dependent sum type

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ]


Branch: CURRENT, Version: 0.2.0.1, Package name: hs-dependent-sum-0.2.0.1, Maintainer: pho

Dependent 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)


CVS history: (Expand)


   2014-08-29 16:09:59 by Ryosuke Moro | Files touched by this commit (104)
Log message:
make it clear what package depend on

discussed with wiz@.
   2011-12-21 16:31:47 by PHO / phonohawk | Files touched by this commit (5) | Imported package
Log message:
Import hs-dependent-sum-0.2.0.1 as wip/hs-dependent-sum.

Dependent sums and supporting typeclasses for comparing and formatting
them.