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	virtualbox: 5.2.0 -> 5.2.2	2017-11-24 23:10:57 +01:00
fix_kernincl.patch	virtualbox: 5.2.0 -> 5.2.2	2017-11-24 23:10:57 +01:00