gistfile1.txt

# cabal install idris
Resolving dependencies...
cabal: Could not resolve dependencies:
[__0] trying: idris-1.2.0 (user goal)
[__1] trying: fsnotify-0.2.1.2 (dependency of idris)
[__2] trying: base-4.11.1.0/installed-4.1... (dependency of idris)
[__3] next goal: async (dependency of idris)
[__3] rejecting: async-2.2.1 (conflict: idris => async<2.2)
[__3] rejecting: async-2.1.1.1 (conflict: base==4.11.1.0/installed-4.1...,
async => base>=4.3 && <4.11)
[__3] rejecting: async-2.1.1, async-2.1.0 (conflict:
base==4.11.1.0/installed-4.1..., async => base>=4.3 && <4.10)
[__3] rejecting: async-2.0.2 (conflict: base==4.11.1.0/installed-4.1..., async
=> base>=4.3 && <4.9)
[__3] rejecting: async-2.0.1.6, async-2.0.1.5 (conflict:
base==4.11.1.0/installed-4.1..., async => base>=4.3 && <4.8)
[__3] rejecting: async-2.0.1.4, async-2.0.1.3 (conflict:
base==4.11.1.0/installed-4.1..., async => base>=4.3 && <4.7)
[__3] rejecting: async-2.0.1.2, async-2.0.1.1, async-2.0.1.0 (conflict:
base==4.11.1.0/installed-4.1..., async => base>=4.3 && <4.6)
[__3] rejecting: async-2.0.0.0, async-1.4, async-1.3, async-1.2, async-1.1,
async-1.0 (conflict: fsnotify => async>=2.0.1)
Backjump limit reached (currently 2000, change with --max-backjumps or try to
run with --reorder-goals).