diff options
author | c0bw3b <c0bw3b@users.noreply.github.com> | 2022-02-06 23:02:50 +0100 |
---|---|---|
committer | Jonathan Ringer <jonringer@users.noreply.github.com> | 2022-02-06 16:56:17 -0800 |
commit | c1ef1d8f9b1ec61bbdc353b7a5458e9d546a6587 (patch) | |
tree | f50f75091ddcd084e9186555c825eab873e16185 /pkgs/development/idris-modules | |
parent | 1d5453ca8ccbdf2d30749d3c68c2cb92fe94031e (diff) | |
download | nixpkgs-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.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 ]; - }; -} |