nixpkgs/pkgs/development/compilers/edk2
2020-12-01 21:47:18 +01:00
..
default.nix edk2: 201911 -> 202011 () 2020-12-01 21:47:18 +01:00