Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Get Rid MD5 support | miwi | 2011-03-20 | 1 | -1/+0 |
* | - Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal") | pgj | 2010-08-08 | 1 | -3/+3 |
* | - Pass maintainership to haskell@FreeBSD.org: | jacula | 2010-05-26 | 1 | -1/+1 |
* | Introduce a new (and hopefully better) ports infrastructure for Haskell Cabal | pgj | 2010-05-13 | 2 | -299/+222 |
* | Switch to use newer GMP version. | ale | 2010-04-19 | 1 | -1/+2 |
* | Agda is a dependently typed functional programming language: It has inductive | pgj | 2010-01-04 | 5 | -0/+351 |