on master help sign in
Fix idris.cabal
commitfec66deea211a0ffc544bd3e311019ad5e73fe65 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateSat 14 Jun 2014, 17:58 (12 years ago) parentb2653e4
1 file changed+1−1
idris.cabal+1−1
idris.cabal+1−1
@@ -101,7 +101,7 @@ Extra-source-files:
101101 libs/effects/*.idr
102102
103103 libs/neweffects/Makefile
104− libs/neweffects/oldeffects.ipkg
104+ libs/neweffects/neweffects.ipkg
105105 libs/neweffects/Effect/*.idr
106106 libs/neweffects/*.idr
107107