summary refs log tree commit diff
path: root/pkgs/development/libraries/haskell/Agda
Commit message (Expand)AuthorAge
* Updated Haskell expressions with the latest version of cabal2nix.Peter Simons2011-08-14
* Updated (almost) all Haskell package expressions with cabal2nix.Peter Simons2011-08-09
* Removing trailing whitespace.Andres Löh2011-03-28
* Major Haskell packages overhaul.Andres Löh2011-03-12
* Agda version bump to 2.2.8Andres Löh2010-11-17
* Updated Agda to 2.2.6.Andres Löh2010-01-12
* * Fixed external library dependencies for some Haskell-Platform packages.Andres Löh2009-04-21