about summary refs log tree commit diff
path: root/pkgs/development/libraries/haskell/Agda
AgeCommit message (Expand)AuthorFilesLines
2012-03-12Updating Haskell packages.Peter Simons1-2/+2
2012-02-16Re-generated Haskell package descriptions with the latest version of cabal2nix.Peter Simons1-3/+3
2012-02-14Regenerated all Haskell packages with the latest version of cabal2nix.Peter Simons1-4/+4
2011-11-25haskell-Agda: updated to version 2.3.0Peter Simons1-5/+6
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