git.iko.soy/Idris-dev
on master help sign in
Remove trifecta dependency
commit979404e30704f448583ef148ae4e3d2e9ed21695 authorJason Felice <jason.m.felice@gmail.com> dateMon 30 Oct 2017, 22:19 (9 years ago) parent61d52a2
1 file changed−1
compare with master
unifiedsplit
idris.cabal−1
idris.cabal−1
@@ -300,7 +300,6 @@ Library
300300 , time >= 1.4 && < 1.9
301301 , transformers < 0.6
302302 , transformers-compat >= 0.3
303− , trifecta >= 1.6 && < 1.8
304303 , uniplate >=1.6 && < 1.7
305304 , unordered-containers < 0.3
306305 , utf8-string < 1.1