summary refs log tree commit diff
path: root/pkgs/development/compilers/Agda-executable
Commit message (Expand)AuthorAge
* Remove myself from the meta.maintainer field of most Haskell packages.Peter Simons2013-05-11
* Add myself as a maintainer to all Haskell packages (re-)generated by hackage4...Peter Simons2013-03-23
* Agda-executable: jailbreak to fix the build with recent versions of AgdaPeter Simons2012-11-12
* Removed myself as a maintainer from Haskell packages that I don't personally ...Peter Simons2012-03-24
* Updating Haskell packages.Peter Simons2012-03-12
* Re-generated Haskell package descriptions with the latest version of cabal2nix.Peter Simons2012-02-16
* Regenerated all Haskell packages with the latest version of cabal2nix.Peter Simons2012-02-14
* haskell-Agda-executable: updated to version 2.3.0Peter Simons2011-11-25
* Last batch of Haskell expression updates.Peter Simons2011-08-10
* Added Agda-executable.Andres Löh2011-04-07