juanfra 3c09cbfcc2 Add a note about gambit 4.7.6.

2015-05-21 17:50:00 +00:00

..

patches

- update to gambit-4.7.2

2014-03-09 20:00:32 +00:00

pkg

Update to gambit 4.7.5. OK jasper@.

2015-04-21 21:32:06 +00:00

distinfo

Update to gambit 4.7.5. OK jasper@.

2015-04-21 21:32:06 +00:00

Makefile

Add a note about gambit 4.7.6.

2015-05-21 17:50:00 +00:00