dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

agda: fix license

Browse Source
This commit is contained in:
Mateusz Kowalczyk 2014-09-11 20:18:02 +01:00
parent ee31679bad
commit d50c0e75b8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/compilers/agda/default.nix
View File

@ -28,7 +28,7 @@ cabal.mkDerivation (self: {
meta = {
homepage = "http://wiki.portal.chalmers.se/agda/";
description = "A dependently typed functional programming language and proof assistant";
license = "unknown";
license = self.stdenv.lib.licenses.mit;
platforms = self.ghc.meta.platforms;
};
})