juanfra dd391eb00c Update gambit to 4.8.9. Add myself as maintainer.

2018-03-02 12:02:51 +00:00

..

DESCR

Update to Gambit 4.7.9. OK jasper@.

2015-09-06 22:32:17 +00:00

PLIST

Update gambit to 4.8.9. Add myself as maintainer.

2018-03-02 12:02:51 +00:00