Merge pull request #119067 from doronbehar/pkg/gnome-feeds/rename

This commit is contained in:
Sandro 2021-04-13 18:06:14 +02:00 committed by GitHub
commit 46e4c824cb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 4 additions and 3 deletions

View file

@ -17,8 +17,9 @@
, webkitgtk
, python3
}:
python3.pkgs.buildPythonApplication rec {
pname = "feeds";
pname = "gnome-feeds";
version = "0.16.1";
src = fetchFromGitLab {

View file

@ -4378,8 +4378,6 @@ in
feedreader = callPackage ../applications/networking/feedreaders/feedreader {};
feeds = callPackage ../applications/networking/feedreaders/feeds {};
fend = callPackage ../tools/misc/fend { };
ferm = callPackage ../tools/networking/ferm { };
@ -4963,6 +4961,8 @@ in
gnome-builder = callPackage ../applications/editors/gnome-builder { };
gnome-feeds = callPackage ../applications/networking/feedreaders/gnome-feeds {};
gnome-keysign = callPackage ../tools/security/gnome-keysign { };
gnome-passwordsafe = callPackage ../applications/misc/gnome-passwordsafe { };