about summary refs log tree commit diff
path: root/pkgs/development/libraries/haskell/Agda
AgeCommit message (Expand)AuthorFilesLines
2011-08-14Updated Haskell expressions with the latest version of cabal2nix.Peter Simons1-3/+3
2011-08-09Updated (almost) all Haskell package expressions with cabal2nix.Peter Simons1-11/+18
2011-03-28Removing trailing whitespace.Andres Löh1-1/+1
2011-03-12Major Haskell packages overhaul.Andres Löh1-4/+6
2010-11-17Agda version bump to 2.2.8Andres Löh1-2/+2
2010-01-12Updated Agda to 2.2.6.Andres Löh1-2/+3
2009-04-21* Fixed external library dependencies for some Haskell-Platform packages.Andres Löh1-0/+15