Michael Raskin d9c76736cc octave: fix overridePlatforms (was just platforms) name collision, thanks to @bjornfor for catching		2016-09-06 19:57:06 +02:00
..
default.nix	octave: fix overridePlatforms (was just platforms) name collision, thanks to @bjornfor for catching	2016-09-06 19:57:06 +02:00