Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Unbreak with clang 3.4 (not bumping revision). | Vsevolod Stakhov | 2014-03-31 | 2 | -1/+21 |
| | | | | Notes: svn path=/head/; revision=349723 | ||||
* | - Stage support | Martin Wilke | 2014-02-02 | 1 | -1/+0 |
| | | | | | | | - Convert few ports to USES Notes: svn path=/head/; revision=342300 | ||||
* | Fix properties on pkg-plist | Baptiste Daroussin | 2014-01-21 | 1 | -1/+0 |
| | | | | Notes: svn path=/head/; revision=340674 | ||||
* | Add NO_STAGE all over the place in preparation for the staging support (cat: ↵ | Baptiste Daroussin | 2013-09-20 | 1 | -0/+1 |
| | | | | | | | math) Notes: svn path=/head/; revision=327746 | ||||
* | Add minisat port - a lightweight SAT solver. | Vsevolod Stakhov | 2013-09-18 | 4 | -0/+68 |
Notes: svn path=/head/; revision=327544 |