on master help sign in
Fix idris.cabal properly this time...
bc88c8aEdwin Brady
idris.cabal+1−1
@@ -101,7 +101,7 @@ Extra-source-files:
101 libs/effects/*.idr
101 libs/effects/*.idr
102
102
103 libs/neweffects/Makefile
103 libs/neweffects/Makefile
104− libs/neweffects/neweffects.ipkg
104+ libs/neweffects/effects.ipkg
105 libs/neweffects/Effect/*.idr
105 libs/neweffects/Effect/*.idr
106 libs/neweffects/*.idr
106 libs/neweffects/*.idr
107
107