diff options
| author | Silvan Mosberger <contact@infinisil.com> | 2021-05-09 17:40:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-09 17:40:17 +0200 |
| commit | aaec4a5cf80304bb3532156e61b5133c05635e60 (patch) | |
| tree | f600b2084a38344b26fa2e1642b56a4a45903703 /pkgs/development/idris-modules | |
| parent | e0e62c8804375ad7f1a1d7f1239256c30fff52e9 (diff) | |
| parent | b06d3ac70ae15a4460ccc8a0b16306c0c4ce833f (diff) | |
| download | nixpkgs-aaec4a5cf80304bb3532156e61b5133c05635e60.tar nixpkgs-aaec4a5cf80304bb3532156e61b5133c05635e60.tar.gz nixpkgs-aaec4a5cf80304bb3532156e61b5133c05635e60.tar.bz2 nixpkgs-aaec4a5cf80304bb3532156e61b5133c05635e60.tar.lz nixpkgs-aaec4a5cf80304bb3532156e61b5133c05635e60.tar.xz nixpkgs-aaec4a5cf80304bb3532156e61b5133c05635e60.tar.zst nixpkgs-aaec4a5cf80304bb3532156e61b5133c05635e60.zip | |
Merge pull request #122181 from divanorama/patch-2
idrisPackages.data: remove broken package at 2018-03-19
Diffstat (limited to 'pkgs/development/idris-modules')
| -rw-r--r-- | pkgs/development/idris-modules/data.nix | 25 | ||||
| -rw-r--r-- | pkgs/development/idris-modules/default.nix | 2 |
2 files changed, 0 insertions, 27 deletions
diff --git a/pkgs/development/idris-modules/data.nix b/pkgs/development/idris-modules/data.nix deleted file mode 100644 index 0517edec2d2..00000000000 --- a/pkgs/development/idris-modules/data.nix +++ /dev/null @@ -1,25 +0,0 @@ -{ build-idris-package -, fetchFromGitHub -, contrib -, lib -}: -build-idris-package { - name = "data"; - version = "2018-03-19"; - - idrisDeps = [ contrib ]; - - src = fetchFromGitHub { - owner = "jdevuyst"; - repo = "idris-data"; - rev = "105b78ac13235edc596287367a675d7cd04ce5d5"; - sha256 = "17wz4jddan39984qibx2x7nv2zkqznv0fpab20nrm4zgy17v77ii"; - }; - - meta = { - description = "Functional data structures in Idris"; - homepage = "https://github.com/jdevuyst/idris-data"; - license = lib.licenses.bsd3; - maintainers = [ lib.maintainers.brainrape ]; - }; -} diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix index 7011a513c10..d6fb1ac78bd 100644 --- a/pkgs/development/idris-modules/default.nix +++ b/pkgs/development/idris-modules/default.nix @@ -75,8 +75,6 @@ cube = callPackage ./cube.nix {}; - data = callPackage ./data.nix {}; - derive = callPackage ./derive.nix {}; descncrunch = callPackage ./descncrunch.nix {}; |