Jörg Thalheim fb3b3d6394 weka: use makeWrapper		2018-04-05 19:21:16 +01:00
..
default.nix	weka: use makeWrapper	2018-04-05 19:21:16 +01:00