K 10
svn:author
V 5
koobs
K 8
svn:date
V 27
2014-08-25T11:45:23.089701Z
K 7
svn:log
V 112
math/py-pycosat: Chase category change for math/picosat

Change category change for math/picosat in LIB_DEPENDS

END