diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-12-03 17:13:53 +0000 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-12-03 17:13:53 +0000 |
| commit | 60c80fd312ddbc446228e00c8517b7700a9d657f (patch) | |
| tree | 90db0bc6ffc38bdd1e71d1902a5b51d19006e205 /pkgs/development/libraries/agda/pretty | |
| parent | d466b40bb35ecb6aa710f4c2eb8eb56e1fa79742 (diff) | |
| download | nixlib-60c80fd312ddbc446228e00c8517b7700a9d657f.tar nixlib-60c80fd312ddbc446228e00c8517b7700a9d657f.tar.gz nixlib-60c80fd312ddbc446228e00c8517b7700a9d657f.tar.bz2 nixlib-60c80fd312ddbc446228e00c8517b7700a9d657f.tar.lz nixlib-60c80fd312ddbc446228e00c8517b7700a9d657f.tar.xz nixlib-60c80fd312ddbc446228e00c8517b7700a9d657f.tar.zst nixlib-60c80fd312ddbc446228e00c8517b7700a9d657f.zip | |
agda-pretty: update darcs revision
Fixes the package for new Agda version
Diffstat (limited to 'pkgs/development/libraries/agda/pretty')
| -rw-r--r-- | pkgs/development/libraries/agda/pretty/contextfile | 16 | ||||
| -rw-r--r-- | pkgs/development/libraries/agda/pretty/default.nix | 5 |
2 files changed, 15 insertions, 6 deletions
diff --git a/pkgs/development/libraries/agda/pretty/contextfile b/pkgs/development/libraries/agda/pretty/contextfile index 4ad31c2e7fab..12079515f66f 100644 --- a/pkgs/development/libraries/agda/pretty/contextfile +++ b/pkgs/development/libraries/agda/pretty/contextfile @@ -1,7 +1,17 @@ Context: -[TAG Correct-by-Construction Pretty-Printing (2013-06-14) -Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130614153155 - Ignore-this: a64ae32de9e22d60d64ef3da19847e00 +[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/pkgs/development/libraries/agda/pretty/default.nix b/pkgs/development/libraries/agda/pretty/default.nix index e0a24a1adc1b..cab58b369780 100644 --- a/pkgs/development/libraries/agda/pretty/default.nix +++ b/pkgs/development/libraries/agda/pretty/default.nix @@ -1,13 +1,13 @@ { stdenv, agda, fetchdarcs, AgdaStdlib }: agda.mkDerivation (self: rec { - version = "2014-09-27"; + version = "2014-11-28"; name = "pretty-${version}"; src = fetchdarcs { url = "http://www.cse.chalmers.se/~nad/repos/pretty/"; context = ./contextfile; - sha256 = "067pv55r3wlchbgjpx3ha5hyzr29y6xsix0ywwgirm8njcc8nv16"; + sha256 = "1y896qqlfjqvpd09cp0x9nhr60ii21f5cibl0v73xl3z2d0wn0xa"; }; buildDepends = [ AgdaStdlib ]; @@ -21,6 +21,5 @@ agda.mkDerivation (self: rec { license = stdenv.lib.licenses.mit; platforms = stdenv.lib.platforms.unix; maintainers = with maintainers; [ fuuzetsu ]; - broken = true; }; }) |