magenbluten 3812fc96b5 dpdk: 17.11.2 -> 19.05		2019-10-15 11:05:23 +02:00
..
default.nix	dpdk: 17.11.2 -> 19.05	2019-10-15 11:05:23 +02:00