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