diff options
| author | Andres Löh <mail@andres-loeh.de> | 2011-04-07 12:10:38 +0000 |
|---|---|---|
| committer | Andres Löh <mail@andres-loeh.de> | 2011-04-07 12:10:38 +0000 |
| commit | 1d4428fbdb4362f42a1f01e847d51b5c666ac0f4 (patch) | |
| tree | 5291b4b38b1bbcf1060e275e02c30bdf9b951bd6 /pkgs/development | |
| parent | 36d95a322009d4c234f44d7ce03b34df2d39ab0d (diff) | |
| download | nixlib-1d4428fbdb4362f42a1f01e847d51b5c666ac0f4.tar nixlib-1d4428fbdb4362f42a1f01e847d51b5c666ac0f4.tar.gz nixlib-1d4428fbdb4362f42a1f01e847d51b5c666ac0f4.tar.bz2 nixlib-1d4428fbdb4362f42a1f01e847d51b5c666ac0f4.tar.lz nixlib-1d4428fbdb4362f42a1f01e847d51b5c666ac0f4.tar.xz nixlib-1d4428fbdb4362f42a1f01e847d51b5c666ac0f4.tar.zst nixlib-1d4428fbdb4362f42a1f01e847d51b5c666ac0f4.zip | |
Added Agda-executable.
svn path=/nixpkgs/trunk/; revision=26737
Diffstat (limited to 'pkgs/development')
| -rw-r--r-- | pkgs/development/compilers/Agda-executable/default.nix | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/pkgs/development/compilers/Agda-executable/default.nix b/pkgs/development/compilers/Agda-executable/default.nix new file mode 100644 index 000000000000..4945ccd95c86 --- /dev/null +++ b/pkgs/development/compilers/Agda-executable/default.nix @@ -0,0 +1,13 @@ +{cabal, Agda}: + +cabal.mkDerivation (self : { + pname = "Agda-executable"; + name = self.fname; + version = "2.2.10"; + sha256 = "0jjlbz5vaz1pasfws1cy8wvllzdzv3sxm2lfj6bckl93kdrxlpy6"; + propagatedBuildInputs = [Agda]; + meta = { + description = "Command-line program for type-checking and compiling Agda programs"; + maintainers = [self.stdenv.lib.maintainers.andres]; + }; +}) |