Trying to install idris! It is not working...llvm-general is being a cunt with dependency specification.
-
-
@edwinbrady Cheers, I was helping@Franck_FS The problem was that llvm-general required: llvm == 3.3.8. I had 3.4 installed. -
@jfdm Argh. That API changes way too often! Maybe best use '-f -llvm' until it's a bit more stable.@Franck_FS
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.