Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: semdoc (user goal)
rejecting: semdoc-0.1.2, semdoc-0.1.1 (constraint from user target requires
==0.1.0)
trying: semdoc-0.1.0
next goal: ghc (dependency of semdoc-0.1.0)
rejecting: ghc-8.0.1.20161018/installed-8.0... (conflict: semdoc => ghc>=7.6.3
&& <=7.10.3)
Dependency tree exhaustively searched.