Fix idris.cabal properly this time...
commitbc88c8a4cce3a6c7dcb44aa0510d2e0b0c1be730
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 14 Jun 2014, 18:08 (12 years ago)
parentf9fe153
idris.cabal+1−1
@@ -101,7 +101,7 @@ Extra-source-files:
101101 libs/effects/*.idr
102102
103103 libs/neweffects/Makefile
104− libs/neweffects/neweffects.ipkg
104+ libs/neweffects/effects.ipkg
105105 libs/neweffects/Effect/*.idr
106106 libs/neweffects/*.idr
107107