John Marino 8abe8f1a56 math/alt-ergo: Update version 0.94 => 0.95.2 and support stage

2014-06-02 23:51:07 +00:00

..

distinfo

math/alt-ergo: Update version 0.94 => 0.95.2 and support stage

2014-06-02 23:51:07 +00:00

Makefile

math/alt-ergo: Update version 0.94 => 0.95.2 and support stage

2014-06-02 23:51:07 +00:00

pkg-descr

…

pkg-plist

math/alt-ergo: Update version 0.94 => 0.95.2 and support stage

2014-06-02 23:51:07 +00:00