Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l. | mat | 2016-04-01 | 1 | -3/+3 |
* | lang/spark: extend expiration by 8 months | marino | 2016-03-01 | 1 | -1/+1 |
* | Deprecate ports broken for more than 6 months | antoine | 2016-01-31 | 1 | -0/+2 |
* | Move math/why3-gpl => math/why3-spark | marino | 2015-12-11 | 1 | -1/+1 |
* | lang/spark: Mark BROKEN until further notice | marino | 2015-06-25 | 1 | -0/+2 |
* | Add new file lang/spark (will become run-depends for GPS) | marino | 2015-06-24 | 8 | -0/+269 |