Frederik Rietdijk 7368564f99 gurobi: stay with python2		2021-04-03 17:06:08 +02:00
..
default.nix	gurobi: stay with python2	2021-04-03 17:06:08 +02:00