5 Commits

Author	SHA1	Message	Date
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