void-packages/srcpkgs/usbarmory-kernel
2015-05-07 10:21:41 +02:00
..
template usbarmory-kernel: update to 4.0.2. 2015-05-07 10:21:41 +02:00