From c1ef1d8f9b1ec61bbdc353b7a5458e9d546a6587 Mon Sep 17 00:00:00 2001
From: c0bw3b <c0bw3b@users.noreply.github.com>
Date: Sun, 6 Feb 2022 23:02:50 +0100
Subject: [PATCH] idrisPackages.protobuf: remove

Upstream does not exist anymore
---
 pkgs/development/idris-modules/default.nix  |  2 +-
 pkgs/development/idris-modules/protobuf.nix | 25 ---------------------
 2 files changed, 1 insertion(+), 26 deletions(-)
 delete mode 100644 pkgs/development/idris-modules/protobuf.nix

diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix
index d6fb1ac78bd6..781533694f22 100644
--- a/pkgs/development/idris-modules/default.nix
+++ b/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 {};
 
diff --git a/pkgs/development/idris-modules/protobuf.nix b/pkgs/development/idris-modules/protobuf.nix
deleted file mode 100644
index ebfc3c275082..000000000000
--- a/pkgs/development/idris-modules/protobuf.nix
+++ /dev/null
@@ -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 ];
-  };
-}