1 files changed, 5 insertions, 8 deletions
diff --git a/pkgs/development/idris-modules/specdris.nix b/pkgs/development/idris-modules/specdris.nix
index b18d4a07d46f..06982a0b2bad 100644
--- a/pkgs/development/idris-modules/specdris.nix
+++ b/pkgs/development/idris-modules/specdris.nix
@@ -1,23 +1,20 @@
 { build-idris-package
-, fetchgit
-, prelude
-, base
+, fetchFromGitHub
 , effects
 , lib
-, idris
 }:
-
 build-idris-package {
   name = "specdris";
   version = "2018-01-23";
 
-  src = fetchgit {
-    url = "https://github.com/pheymann/specdris";
+  src = fetchFromGitHub {
+    owner = "pheymann";
+    repo = "specdris";
     rev = "625f88f5e118e53f30bcf5e5f3dcf48eb268ac21";
     sha256 = "1gc717xf4i7z75aqazy5wqm7b1dqfyx5pprdypxz1h3980m67fsa";
   };
 
-  idrisDeps = [ prelude base effects idris ];
+  idrisDeps = [ effects ];
 
   # tests use a different ipkg and directory structure
   doCheck = false;