Jens Binkert e30b53b990 evdi: unstable-20221013 -> 1.13.1 (#239883)		2023-06-27 20:45:11 +02:00
..
0000-fix-drm-path.patch	evdi: unstable-20221013 -> 1.13.1 (#239883)	2023-06-27 20:45:11 +02:00
default.nix	evdi: unstable-20221013 -> 1.13.1 (#239883)	2023-06-27 20:45:11 +02:00