Vsevolod Stakhov
|
3cbbe5180a
|
- Unbreak with clang 3.4 (not bumping revision).
|
2014-03-31 10:52:41 +00:00 |
|
Martin Wilke
|
7bf1652bda
|
- Stage support
- Convert few ports to USES
|
2014-02-02 14:33:37 +00:00 |
|
Baptiste Daroussin
|
e04b632220
|
Fix properties on pkg-plist
|
2014-01-21 23:40:21 +00:00 |
|
Baptiste Daroussin
|
ce5e457020
|
Add NO_STAGE all over the place in preparation for the staging support (cat: math)
|
2013-09-20 20:55:04 +00:00 |
|
Vsevolod Stakhov
|
e03359c0aa
|
Add minisat port - a lightweight SAT solver.
|
2013-09-18 13:28:06 +00:00 |
|