agda-pretty: update darcs revision

Fixes the package for new Agda version
This commit is contained in:
Mateusz Kowalczyk 2014-12-03 17:13:53 +00:00
parent d466b40bb3
commit 60c80fd312
2 changed files with 15 additions and 6 deletions

View file

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

View file

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