Commit graph

5 commits

Author SHA1 Message Date
Andres Löh
b18dd91057 Removing trailing whitespace.
svn path=/nixpkgs/trunk/; revision=26570
2011-03-28 15:04:00 +00:00
Andres Löh
3e0ac9b040 Major Haskell packages overhaul.
Several changes, some highlights:

  * Structure of haskell-packages.nix updated. It's now easier to
    select different default versions of packages for different
    versions of GHC.

  * GHC 7.0.2 is now default.

  * Haskell Platform 2011.2.0.0 has been added and is now default.

  * Several packages have been updated
    (gtk2hs, gitit, xmonad, darcs, ...).

  * Some old packages have been removed.

svn path=/nixpkgs/trunk/; revision=26288
2011-03-12 17:28:15 +00:00
Andres Löh
7ad36d1940 Agda version bump to 2.2.8
svn path=/nixpkgs/trunk/; revision=24743
2010-11-17 16:00:33 +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