Remove neweffects from cabal
commit6b5a12060e523c417107183c86c31af194fdace6
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 15 Jul 2014, 21:54 (12 years ago)
parentced7733
idris.cabal−5
@@ -100,11 +100,6 @@ Extra-source-files:
100100 libs/effects/Effect/*.idr
101101 libs/effects/*.idr
102102
103− libs/neweffects/Makefile
104− libs/neweffects/effects.ipkg
105− libs/neweffects/Effect/*.idr
106− libs/neweffects/*.idr
107−
108103 llvm/*.c
109104 llvm/Makefile
110105