blob: 9f0922a8dfa88c618f387ca71cb627a3423ccb1c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
{ cabal }:
cabal.mkDerivation (self: {
pname = "dependent-sum";
version = "0.2.1.0";
sha256 = "1h6wsrh206k6q3jcfdxvlsswbm47x30psp6x30l2z0j9jyf7jpl3";
meta = {
homepage = "https://github.com/mokus0/dependent-sum";
description = "Dependent sum type";
license = self.stdenv.lib.licenses.publicDomain;
platforms = self.ghc.meta.platforms;
};
})
|