Michael Raskin cfdf0d5a79 freeipmi: 1.5.1 -> 1.5.2		2016-05-25 16:00:57 +02:00
..
default.nix	freeipmi: 1.5.1 -> 1.5.2	2016-05-25 16:00:57 +02:00