Francois-Rene Rideau 43f9c60e92 gambit: 4.8.5 -> 4.8.6 ... Use higher optimization settings and include openssl interface.		2017-06-03 12:08:49 +01:00
..
default.nix	gambit: 4.8.5 -> 4.8.6	2017-06-03 12:08:49 +01:00