diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-09-27 03:30:30 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-09-27 03:30:30 +0100 |
| commit | d409ae809ab03770043e6328a71e038e4bab5cbe (patch) | |
| tree | 7eba9f125305293876cd44ae26f9599a93469bce /pkgs/development/libraries/agda | |
| parent | 4ed56b013fd3e85937c32c6ab305c512ec4bde10 (diff) | |
agda-pretty: new package
Diffstat (limited to 'pkgs/development/libraries/agda')
| -rw-r--r-- | pkgs/development/libraries/agda/pretty/contextfile | 7 | ||||
| -rw-r--r-- | pkgs/development/libraries/agda/pretty/default.nix | 25 |
2 files changed, 32 insertions, 0 deletions
diff --git a/pkgs/development/libraries/agda/pretty/contextfile b/pkgs/development/libraries/agda/pretty/contextfile new file mode 100644 index 000000000000..4ad31c2e7fab --- /dev/null +++ b/pkgs/development/libraries/agda/pretty/contextfile @@ -0,0 +1,7 @@ + +Context: + +[TAG Correct-by-Construction Pretty-Printing (2013-06-14) +Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130614153155 + Ignore-this: a64ae32de9e22d60d64ef3da19847e00 +] diff --git a/pkgs/development/libraries/agda/pretty/default.nix b/pkgs/development/libraries/agda/pretty/default.nix new file mode 100644 index 000000000000..1bcb9f8459bc --- /dev/null +++ b/pkgs/development/libraries/agda/pretty/default.nix @@ -0,0 +1,25 @@ +{ stdenv, agda, fetchdarcs, AgdaStdlib }: + +agda.mkDerivation (self: rec { + version = "2014-09-27"; + name = "pretty-${version}"; + + src = fetchdarcs { + url = "http://www.cse.chalmers.se/~nad/repos/pretty/"; + context = ./contextfile; + sha256 = "067pv55r3wlchbgjpx3ha5hyzr29y6xsix0ywwgirm8njcc8nv16"; + }; + + buildDepends = [ AgdaStdlib ]; + everythingFile = "Pretty.agda"; + sourceDirectories = []; + topSourceDirectories = [ "../$sourceRoot" ]; + + meta = with stdenv.lib; { + homepage = "http://www.cse.chalmers.se/~nad/publications/danielsson-correct-pretty.html"; + description = "Correct-by-Construction Pretty-Printing"; + license = stdenv.lib.licenses.mit; + platforms = stdenv.lib.platforms.unix; + maintainers = with maintainers; [ fuuzetsu ]; + }; +}) |