va1entin edd823b713 devede: move to GitLab, 4.8.8 -> 4.16.0 ... devede: 4.8.8 -> 4.16.0 use pname and version		2020-11-24 23:22:25 +01:00
..
default.nix	devede: move to GitLab, 4.8.8 -> 4.16.0	2020-11-24 23:22:25 +01:00