diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/agda/pretty')
-rw-r--r-- | nixpkgs/pkgs/development/libraries/agda/pretty/contextfile | 43 | ||||
-rw-r--r-- | nixpkgs/pkgs/development/libraries/agda/pretty/default.nix | 26 |
2 files changed, 69 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/libraries/agda/pretty/contextfile b/nixpkgs/pkgs/development/libraries/agda/pretty/contextfile new file mode 100644 index 000000000000..2ea20153bbcc --- /dev/null +++ b/nixpkgs/pkgs/development/libraries/agda/pretty/contextfile @@ -0,0 +1,43 @@ + +Context: + +[Updated the code in response to a change to Agda. +Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20150319181428 + Ignore-this: f83c3dccfe25a2a5b9d0437d1dce0ec0 +] + +[Rolled back most of "Updated the code in response to changes to Agda". +Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20150319101413 + Ignore-this: 5a26cf9cf83d0d146cca0c15c857d20c + * One of the Agda changes has been reverted. +] + +[Updated the code in response to changes to Agda. +Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20150217101656 + Ignore-this: a12921aebbe0fb575ef391ba5789a391 +] + +[Modified the copyright year range. +Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20150213144338 + Ignore-this: 1d1b22457dd6dadcb47f5d7f3eea062 +] + +[Restored Grammar.Abstract and Grammar.Non-terminal. +Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130727225031 + Ignore-this: ddccb15caa7a3c26e973997ffdb4eec1 +] + +[Modified the copyright year range. +Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20141128164015 + Ignore-this: b9c6dddc965738aa2a7670c4c18da67f +] + +[Updated the code to reflect changes to the library API. +Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20141128163950 + Ignore-this: 8094c47f23cef0fcc596ad0c18a92b56 +] + +[TAG Correct-by-Construction Pretty-Printing (2013-07-28) +Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130727224432 + Ignore-this: 6aab9b2e6b638457767c8821f3c27cb4 +] diff --git a/nixpkgs/pkgs/development/libraries/agda/pretty/default.nix b/nixpkgs/pkgs/development/libraries/agda/pretty/default.nix new file mode 100644 index 000000000000..0e4f1da6e140 --- /dev/null +++ b/nixpkgs/pkgs/development/libraries/agda/pretty/default.nix @@ -0,0 +1,26 @@ +{ stdenv, agda, fetchdarcs, AgdaStdlib }: + +agda.mkDerivation (self: rec { + version = "2015-03-19"; + name = "pretty-${version}"; + + src = fetchdarcs { + url = "http://www.cse.chalmers.se/~nad/repos/pretty/"; + context = ./contextfile; + sha256 = "0zmwh9kln7ykpmkx1qhqz64qm2arq62b17vs5fswnxk7mqxsmrf0"; + }; + + 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 ]; + broken = true; # 2018-04-11 + }; +}) |