Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: free-theorems-seq-webui (user goal)
rejecting: free-theorems-seq-webui-1.0.0.2 (global constraint requires
==1.0.0.1)
trying: free-theorems-seq-webui-1.0.0.1
next goal: free-theorems-seq (dependency of free-theorems-seq-webui-1.0.0.1)
rejecting: free-theorems-seq-1.0 (conflict: free-theorems-seq-webui =>
free-theorems-seq==0.1.*)
Dependency tree exhaustively searched.