diff options
author | Jakob Brünker <jakob.bruenker@gmail.com> | 2019-01-04 13:44:37 +0100 |
---|---|---|
committer | Jakob Brünker <jakob.bruenker@gmail.com> | 2019-01-04 13:44:37 +0100 |
commit | e0bcc7f0829fd112cd809f0b3784ca554066f6ce (patch) | |
tree | 08309b23dec226d1ece87ade3a8919cf49753075 /pkgs/development/idris-modules/default.nix | |
parent | dcc258f1dc6bc5627d3697147d5fafd2202de630 (diff) | |
download | nixpkgs-e0bcc7f0829fd112cd809f0b3784ca554066f6ce.tar nixpkgs-e0bcc7f0829fd112cd809f0b3784ca554066f6ce.tar.gz nixpkgs-e0bcc7f0829fd112cd809f0b3784ca554066f6ce.tar.bz2 nixpkgs-e0bcc7f0829fd112cd809f0b3784ca554066f6ce.tar.lz nixpkgs-e0bcc7f0829fd112cd809f0b3784ca554066f6ce.tar.xz nixpkgs-e0bcc7f0829fd112cd809f0b3784ca554066f6ce.tar.zst nixpkgs-e0bcc7f0829fd112cd809f0b3784ca554066f6ce.zip |
idris-modules/curses.nix: delete
The repository is currently unmaintained and cannot be guaranteed to work.
Diffstat (limited to 'pkgs/development/idris-modules/default.nix')
-rw-r--r-- | pkgs/development/idris-modules/default.nix | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix index 0368c00d123..47c6998a587 100644 --- a/pkgs/development/idris-modules/default.nix +++ b/pkgs/development/idris-modules/default.nix @@ -75,8 +75,6 @@ cube = callPackage ./cube.nix {}; - curses = callPackage ./curses.nix {}; - data = callPackage ./data.nix {}; derive = callPackage ./derive.nix {}; |