Jean-Philippe Bernardy 9e730ee254 renaming cudatoolkit version numbers		2018-05-31 22:21:53 +02:00
..
default.nix	renaming cudatoolkit version numbers	2018-05-31 22:21:53 +02:00