idrisPackages.protobuf: remove

Upstream does not exist anymore

pkgs/development/idris-modules/default.nix

@@ -145,7 +145,7 @@
 
     posix = callPackage ./posix.nix {};
 
-    protobuf = callPackage ./protobuf.nix {};
+    protobuf = throw "idrisPackages.protobuf has been removed: abandoned by upstream"; # added 2022-02-06
 
     quantities = callPackage ./quantities.nix {};
 

pkgs/development/idris-modules/protobuf.nix

@@ -1,25 +0,0 @@
-{ build-idris-package
-, fetchFromGitHub
-, lightyear
-, lib
-}:
-build-idris-package  {
-  name = "protobuf";
-  version = "2017-08-12";
-
-  idrisDeps = [ lightyear ];
-
-  src = fetchFromGitHub {
-    owner = "artagnon";
-    repo = "idris-protobuf";
-    rev = "c21212534639518453d16ae1b0f07d94464ff8eb";
-    sha256 = "0n5w7bdbxqca3b7hzg95md01mx4sfvl9fi82xjm0hzds33akmn05";
-  };
-
-  meta = {
-    description = "A partial implementation of Protocol Buffers in Idris";
-    homepage = "https://github.com/artagnon/idris-protobuf";
-    license = lib.licenses.asl20;
-    maintainers = [ lib.maintainers.brainrape ];
-  };
-}