Merge pull request #176044 from aaronjheng/gotags

gotags: remove
This commit is contained in:
Anderson Torres 2022-06-16 18:33:45 -03:00 committed by GitHub
commit 60f71bd72a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 1 additions and 17 deletions

View file

@ -1,15 +0,0 @@
{ lib, buildGoPackage, fetchFromGitHub }:
buildGoPackage rec {
pname = "gotags";
version = "unstable-2015-08-03";
goPackagePath = "github.com/jstemmer/gotags";
src = fetchFromGitHub {
owner = "jstemmer";
repo = "gotags";
rev = "be986a34e20634775ac73e11a5b55916085c48e7";
sha256 = "sha256-Su7AA6HCdeZai8+yRSKzlrgXvsSEgrXGot2ABRL2PBw=";
};
}

View file

@ -527,6 +527,7 @@ mapAliases ({
google-gflags = gflags; # Added 2019-07-25
google-musicmanager = throw "google-musicmanager has been removed because Google Play Music was discontinued"; # Added 2021-03-07
google-music-scripts = throw "google-music-scripts has been removed because Google Play Music was discontinued"; # Added 2021-03-07
gotags = throw "gotags has been dropped due to the lack of maintenance from upstream since 2018"; # Added 2022-06-03
go-mk = throw "go-mk has been dropped due to the lack of maintanence from upstream since 2015"; # Added 2022-06-02
go-pup = throw "'go-pup' has been renamed to/replaced by 'pup'"; # Converted to throw 2022-02-22
go-repo-root = throw "go-repo-root has been dropped due to the lack of maintanence from upstream since 2014"; # Added 2022-06-02

View file

@ -23602,8 +23602,6 @@ with pkgs;
gofumpt = callPackage ../development/tools/gofumpt { };
gotags = callPackage ../development/tools/gotags { };
go-task = callPackage ../development/tools/go-task { };
golint = callPackage ../development/tools/golint { };