juanfra b9aa1fe86d Update to gambit 4.9.2.

2019-01-20 20:11:59 +00:00

..

patches

Update to gambit 4.9.1.

2018-11-24 22:23:53 +00:00

pkg

Update gambit to 4.8.9. Add myself as maintainer.

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

distinfo

Update to gambit 4.9.2.

2019-01-20 20:11:59 +00:00

Makefile

Update to gambit 4.9.2.

2019-01-20 20:11:59 +00:00