From a6ce00c50c36624fec06b2b756a766d4d0f4a888 Mon Sep 17 00:00:00 2001
From: Pavol Rusnak <pavol@rusnak.io>
Date: Mon, 25 Jan 2021 09:26:54 +0100
Subject: treewide: remove stdenv where not needed

---
 pkgs/development/idris-modules/tfrandom.nix      | 4 ++--
 pkgs/development/idris-modules/with-packages.nix | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'pkgs/development/idris-modules')

diff --git a/pkgs/development/idris-modules/tfrandom.nix b/pkgs/development/idris-modules/tfrandom.nix
index 5c631950312..8249259075c 100644
--- a/pkgs/development/idris-modules/tfrandom.nix
+++ b/pkgs/development/idris-modules/tfrandom.nix
@@ -1,8 +1,8 @@
-{ stdenv
+{ lib
 , build-idris-package
 , fetchFromGitHub
-, lib
 }:
+
 build-idris-package  {
   name = "tf-random";
   version = "2020-01-15";
diff --git a/pkgs/development/idris-modules/with-packages.nix b/pkgs/development/idris-modules/with-packages.nix
index 72b9067b691..080cbe2778a 100644
--- a/pkgs/development/idris-modules/with-packages.nix
+++ b/pkgs/development/idris-modules/with-packages.nix
@@ -1,6 +1,6 @@
 # Build a version of idris with a set of packages visible
 # packages: The packages visible to idris
-{ stdenv, lib, idris, symlinkJoin, makeWrapper }: packages:
+{ lib, idris, symlinkJoin, makeWrapper }: packages:
 
 let paths = lib.closePropagation packages;
 in
-- 
cgit 1.4.1