Commit graph

5 commits

Author SHA1 Message Date
Andres Löh
5f8328c461 Preparing for the upcoming Haskell Platform release.
svn path=/nixpkgs/trunk/; revision=22620
2010-07-17 13:23:48 +00:00
Andres Löh
9370225663 Haskell Platform 2010.1.0.0
svn path=/nixpkgs/trunk/; revision=20904
2010-04-01 10:56:48 +00:00
Andres Löh
55e2661690 Updated Agda to 2.2.6.
svn path=/nixpkgs/trunk/; revision=19365
2010-01-12 10:18:00 +00:00
Andres Löh
d3b5bc4a20 * Fixed external library dependencies for some Haskell-Platform packages.
* Added Agda plus dependencies.

svn path=/nixpkgs/trunk/; revision=15227
2009-04-21 21:05:30 +00:00
Andres Löh
b148543c3e Towards Haskell Platform support.
svn path=/nixpkgs/trunk/; revision=15148
2009-04-19 11:44:37 +00:00