Frederik Rietdijk 3731f920e6 python: pyopencl: 2019.1.2 -> 2020.1		2020-05-11 22:12:08 +02:00
..
default.nix	python: pyopencl: 2019.1.2 -> 2020.1	2020-05-11 22:12:08 +02:00