Trying to install idris! It is not working...llvm-general is being a cunt with dependency specification.
-
-
Replying to @edwinbrady
@edwinbrady Cheers, I was helping@Franck_FS The problem was that llvm-general required: llvm == 3.3.8. I had 3.4 installed.1 reply 0 retweets 0 likes
Replying to @jfdm
@jfdm Argh. That API changes way too often! Maybe best use '-f -llvm' until it's a bit more stable. @Franck_FS
6:28 AM - 1 Oct 2013
0 replies
0 retweets
0 likes
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.