pkgs: {
  paths = with pkgs; [
    (pkgs.quartus-prime-lite.override {
      supportedDevices = pkgs.lib.singleton "Cyclone V";
    })
  ];
}