Thierry Thomas 0a6dadb0b9 Upgrade to Gambit 15.1.0, the current stable version. ... Note: Gambit 16 is available, but this is the current research/development version.		2016-07-19 20:32:09 +00:00
..
files
distinfo	Upgrade to Gambit 15.1.0, the current stable version.	2016-07-19 20:32:09 +00:00
Makefile	Upgrade to Gambit 15.1.0, the current stable version.	2016-07-19 20:32:09 +00:00
pkg-descr
pkg-plist	Upgrade to Gambit 15.1.0, the current stable version.	2016-07-19 20:32:09 +00:00