Update math/gambit to version 13.0.1
authorDPorts Builder <nobody@home.ok>
Tue, 9 Jul 2013 21:42:16 +0000 (23:42 +0200)
committerDPorts Builder <nobody@home.ok>
Tue, 9 Jul 2013 21:42:16 +0000 (23:42 +0200)
commit94f40cee125f967d441e0c5227acda0edea75385
tree7295cbe2bb3577ff2e0a6f031599f38a29122e52
parentc8806768b5add0c101c8ae3d72dfa093f48eb82c
Update math/gambit to version 13.0.1
math/gambit/Makefile
math/gambit/distinfo