summary refs log tree commit diff
path: root/pkgs/development/idris-modules
diff options
context:
space:
mode:
authorc0bw3b <c0bw3b@users.noreply.github.com>2022-02-06 23:02:50 +0100
committerJonathan Ringer <jonringer@users.noreply.github.com>2022-02-06 16:56:17 -0800
commitc1ef1d8f9b1ec61bbdc353b7a5458e9d546a6587 (patch)
treef50f75091ddcd084e9186555c825eab873e16185 /pkgs/development/idris-modules
parent1d5453ca8ccbdf2d30749d3c68c2cb92fe94031e (diff)
downloadnixpkgs-c1ef1d8f9b1ec61bbdc353b7a5458e9d546a6587.tar
nixpkgs-c1ef1d8f9b1ec61bbdc353b7a5458e9d546a6587.tar.gz
nixpkgs-c1ef1d8f9b1ec61bbdc353b7a5458e9d546a6587.tar.bz2
nixpkgs-c1ef1d8f9b1ec61bbdc353b7a5458e9d546a6587.tar.lz
nixpkgs-c1ef1d8f9b1ec61bbdc353b7a5458e9d546a6587.tar.xz
nixpkgs-c1ef1d8f9b1ec61bbdc353b7a5458e9d546a6587.tar.zst
nixpkgs-c1ef1d8f9b1ec61bbdc353b7a5458e9d546a6587.zip
idrisPackages.protobuf: remove
Upstream does not exist anymore
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r--pkgs/development/idris-modules/default.nix2
-rw-r--r--pkgs/development/idris-modules/protobuf.nix25
2 files changed, 1 insertions, 26 deletions
diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix
index d6fb1ac78bd..781533694f2 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 ebfc3c27508..00000000000
--- 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 ];
-  };
-}