| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Updating Haskell packages. | Peter Simons | 2012-03-12 |
| * | Re-generated Haskell package descriptions with the latest version of cabal2nix. | Peter Simons | 2012-02-16 |
| * | Regenerated all Haskell packages with the latest version of cabal2nix. | Peter Simons | 2012-02-14 |
| * | haskell-Agda-executable: updated to version 2.3.0 | Peter Simons | 2011-11-25 |
| * | Last batch of Haskell expression updates. | Peter Simons | 2011-08-10 |
| * | Added Agda-executable. | Andres Löh | 2011-04-07 |