Will Dietz f00b8b028d gecode: remove maintainer per request

2018-12-01 15:02:20 -06:00

..

3.nix

…

default.nix

gecode: remove maintainer per request

2018-12-01 15:02:20 -06:00