2014-01-16 11:54:50 +01:00
|
|
|
{ cabal, cpphs }:
|
2013-11-18 15:34:52 +01:00
|
|
|
|
|
|
|
cabal.mkDerivation (self: {
|
|
|
|
pname = "type-eq";
|
2014-03-07 23:13:26 +01:00
|
|
|
version = "0.4.2";
|
|
|
|
sha256 = "0nyx3lqgrnlz0l3p615ln2dglqd39jwlk91ybz7blzhq1gpgayar";
|
2014-01-16 11:54:50 +01:00
|
|
|
buildTools = [ cpphs ];
|
2013-11-18 15:34:52 +01:00
|
|
|
meta = {
|
2013-12-19 11:35:26 +01:00
|
|
|
homepage = "http://github.com/glaebhoerl/type-eq";
|
2013-11-18 15:34:52 +01:00
|
|
|
description = "Type equality evidence you can carry around";
|
|
|
|
license = self.stdenv.lib.licenses.bsd3;
|
|
|
|
platforms = self.ghc.meta.platforms;
|
|
|
|
maintainers = [ self.stdenv.lib.maintainers.ocharles ];
|
|
|
|
};
|
|
|
|
})
|