BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

agda-pretty: new package

Browse source
This commit is contained in:
Mateusz Kowalczyk 2014-09-27 03:30:30 +01:00
parent 4ed56b013f
commit d409ae809a
3 changed files with 34 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
pkgs/development/libraries/agda/pretty/contextfile Normal file
View file

@ -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
]

25
pkgs/development/libraries/agda/pretty/default.nix Normal file
View file

@ -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 ];
};
})

2
pkgs/top-level/all-packages.nix
View file

@ -6801,6 +6801,8 @@ let
categories = callPackage ../development/libraries/agda/categories {};
pretty = callPackage ../development/libraries/agda/pretty {};
TotalParserCombinators = callPackage ../development/libraries/agda/TotalParserCombinators {};
### DEVELOPMENT / LIBRARIES / JAVA