treewide: remove stdenv where not needed

2021-01-25 18:31:47 +01:00
parent e06e847595
commit a6ce00c50c
2779 changed files with 2844 additions and 2834 deletions
@@ -1,8 +1,8 @@
-{ stdenv
+{ lib
 , build-idris-package
 , fetchFromGitHub
-, lib
 }:
+
 build-idris-package  {
  name = "tf-random";
  version = "2020-01-15";
@@ -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