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/data.nix | |
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/data.nix')
-rw-r--r-- | pkgs/development/idris-modules/data.nix | 25 |
1 files changed, 0 insertions, 25 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 ]; - }; -} |