Florian Klink fa4c1eeae6 virtualbox: 5.2.12 -> 5.2.14		2018-07-17 12:40:20 +02:00
..
default.nix	virtualbox: 5.2.12 -> 5.2.14	2018-07-17 12:40:20 +02:00
fix_kerndir.patch
fix_kernincl.patch