Resolving dependencies... cabal: Could not resolve dependencies: next goal: mathlink (user goal) rejecting: mathlink-2.0.1.1, 2.0.0.7, 2.0.0.5, 2.0.0.4 (global constraint requires ==2.0.0.3) trying: mathlink-2.0.0.3 next goal: base (dependency of mathlink-2.0.0.3) rejecting: base-4.7.0.1/installed-e4b... (conflict: mathlink => base>=4.0 && <4.2) rejecting: base-4.8.0.0, 4.7.0.2, 4.7.0.1, 4.7.0.0, 4.6.0.1, 4.6.0.0, 4.5.1.0, 4.5.0.0, 4.4.1.0, 4.4.0.0, 4.3.1.0, 4.3.0.0, 4.2.0.2, 4.2.0.1, 4.2.0.0, 4.1.0.0, 4.0.0.0, 3.0.3.2, 3.0.3.1 (global constraint requires installed instance) Dependency tree exhaustively searched.