Skip to content

Commit

Permalink
Merge pull request #95413 from pstn/remove-gnunet-git
Browse files Browse the repository at this point in the history
gnunet_git: remove
  • Loading branch information
doronbehar committed Sep 25, 2020
2 parents 31cef85 + ff513a5 commit 0c8e51b
Show file tree
Hide file tree
Showing 3 changed files with 1 addition and 94 deletions.
92 changes: 0 additions & 92 deletions pkgs/applications/networking/p2p/gnunet/git.nix

This file was deleted.

1 change: 1 addition & 0 deletions pkgs/top-level/aliases.nix
Expand Up @@ -173,6 +173,7 @@ mapAliases ({
gnome-themes-standard = gnome-themes-extra; # added 2018-03-14
gnome_doc_utils = gnome-doc-utils; # added 2018-02-25
gnome_themes_standard = gnome-themes-standard; # added 2018-02-25
gnunet_git = throw "gnunet_git was removed due to gnunet becoming stable"; # added 2019-05-27
gnuradio-nacl = gr-nacl; # added 2019-05-27
gnuradio-gsm = gr-gsm; # added 2019-05-27
gnuradio-ais = gr-ais; # added 2019-05-27
Expand Down
2 changes: 0 additions & 2 deletions pkgs/top-level/all-packages.nix
Expand Up @@ -20966,8 +20966,6 @@ in

gnunet = callPackage ../applications/networking/p2p/gnunet { };

gnunet_git = lowPrio (callPackage ../applications/networking/p2p/gnunet/git.nix { });

gnunet-gtk = callPackage ../applications/networking/p2p/gnunet/gtk.nix { };

gocr = callPackage ../applications/graphics/gocr { };
Expand Down

0 comments on commit 0c8e51b

Please sign in to comment.