void-packages/srcpkgs/usbarmory-kernel
2015-05-19 08:03:06 +02:00
..
template usbarmory-kernel: update to 4.0.4. 2015-05-19 08:03:06 +02:00