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