Tweak science/libsvm version 3.18
[dports.git] / math / why3-gpl /
2014-07-15 DPorts BuilderUpdate math/why3-gpl to version 2014_1
2014-06-21 DPorts BuilderImport math/why3-gpl version 2014