git.iko.soy/Idris-dev
on master help sign in
Fixed Trifecta version to 1.1 until future versions work again
6469b16Ahmad Salim Al-Sibahi
idris.cabal+1−1
compare with master
unifiedsplit
@@ -367,7 +367,7 @@ Executable idris
367 , text
367 , text
368 , time >= 1.4
368 , time >= 1.4
369 , transformers
369 , transformers
370− , trifecta >= 1.1
370+ , trifecta == 1.1
371 , unordered-containers
371 , unordered-containers
372 , utf8-string
372 , utf8-string
373 , vector
373 , vector