diff options
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r-- | pkgs/development/idris-modules/default.nix | 2 | ||||
-rw-r--r-- | pkgs/development/idris-modules/protobuf.nix | 25 |
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 ]; - }; -} |