diff options
author | divanorama <divanorama@gmail.com> | 2021-05-08 12:49:30 +0200 |
---|---|---|
committer | Dmitry Ivankov <divanorama@gmail.com> | 2021-05-08 20:03:28 +0200 |
commit | b06d3ac70ae15a4460ccc8a0b16306c0c4ce833f (patch) | |
tree | 16dc76ec0569f3f366726603607f779eb98986b3 /pkgs/development/idris-modules | |
parent | f7c01a9c276638e0a6f28fb7173d0850f0252b62 (diff) | |
download | nixpkgs-b06d3ac70ae15a4460ccc8a0b16306c0c4ce833f.tar nixpkgs-b06d3ac70ae15a4460ccc8a0b16306c0c4ce833f.tar.gz nixpkgs-b06d3ac70ae15a4460ccc8a0b16306c0c4ce833f.tar.bz2 nixpkgs-b06d3ac70ae15a4460ccc8a0b16306c0c4ce833f.tar.lz nixpkgs-b06d3ac70ae15a4460ccc8a0b16306c0c4ce833f.tar.xz nixpkgs-b06d3ac70ae15a4460ccc8a0b16306c0c4ce833f.tar.zst nixpkgs-b06d3ac70ae15a4460ccc8a0b16306c0c4ce833f.zip |
idrisPackages.data: remove broken package at 2018-03-19
Package doesn't compile https://hydra.nixos.org/build/142422494/nixlog/2 And the repository is archived with latest commits being in 2019 https://github.com/jdevuyst/dependable-data-structures ZHF: #122042
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 {}; |