Frederik Rietdijk 3bf9a5e0f9 python: pyopencl: 2018.1 -> 2018.1.1		2018-02-26 18:42:48 +01:00
..
default.nix	python: pyopencl: 2018.1 -> 2018.1.1	2018-02-26 18:42:48 +01:00