idrisPackages: fix errors

2018-03-09 09:57:18 +01:00
parent de1cb85b20
commit 4f1d26288f
2 changed files with 1 additions and 3 deletions
@@ -50,8 +50,6 @@

    lightyear = callPackage ./lightyear.nix {};

-    optparse = callPackage ./optparse.nix {};
-
    wl-pprint = callPackage ./wl-pprint.nix {};

    specdris = callPackage ./specdris.nix {};