Tweak math/geg version 1.0.2_7
[dports.git] / math / cvc3 / distinfo
2012-12-10 AutomatonImport math/cvc3 version 2.4.1