Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: casadi-bindings (user goal)
rejecting: casadi-bindings-3.1.0.2, casadi-bindings-3.1.0.1,
casadi-bindings-3.1.0.0, casadi-bindings-3.0.0.5, casadi-bindings-3.0.0.4,
casadi-bindings-3.0.0.3, casadi-bindings-3.0.0.2, casadi-bindings-3.0.0.1,
casadi-bindings-3.0.0.0, casadi-bindings-2.4.1.9, casadi-bindings-2.4.1.8,
casadi-bindings-2.4.1.7, casadi-bindings-2.4.1.6, casadi-bindings-2.4.1.5,
casadi-bindings-2.4.1.4, casadi-bindings-2.4.1.3, casadi-bindings-2.4.1.2,
casadi-bindings-2.4.1.1, casadi-bindings-2.4.1.0, casadi-bindings-2.3.0.1,
casadi-bindings-2.3.0.0, casadi-bindings-2.2.0.8, casadi-bindings-2.2.0.7,
casadi-bindings-2.2.0.6, casadi-bindings-2.2.0.5, casadi-bindings-2.2.0.4,
casadi-bindings-2.2.0.3, casadi-bindings-2.2.0.2, casadi-bindings-2.2.0.1,
casadi-bindings-2.2.0.0, casadi-bindings-2.1.3.2, casadi-bindings-2.1.3.1,
casadi-bindings-2.1.3.0, casadi-bindings-2.1.0.1, casadi-bindings-2.1.0.0,
casadi-bindings-2.0.0.1, casadi-bindings-2.0.0, casadi-bindings-1.9.0.5,
casadi-bindings-1.9.0.4 (constraint from user target requires ==1.9.0.3)
trying: casadi-bindings-1.9.0.3
next goal: casadi-bindings-core (dependency of casadi-bindings-1.9.0.3)
rejecting: casadi-bindings-core-3.1.0.0, casadi-bindings-core-3.0.0.0,
casadi-bindings-core-2.4.1.0, casadi-bindings-core-2.3.0.1,
casadi-bindings-core-2.3.0.0, casadi-bindings-core-2.2.0.2,
casadi-bindings-core-2.2.0.1, casadi-bindings-core-2.2.0.0,
casadi-bindings-core-2.1.3.0, casadi-bindings-core-2.1.0.0,
casadi-bindings-core-2.0.0.1, casadi-bindings-core-2.0.0,
casadi-bindings-core-1.9.0.5, casadi-bindings-core-1.9.0.4 (conflict:
casadi-bindings => casadi-bindings-core==1.9.0.3)
rejecting: casadi-bindings-core-1.9.0.3 (conflict: requires pkg-config package
casadi_core-any, not found in the pkg-config database)
rejecting: casadi-bindings-core-1.9.0.2, casadi-bindings-core-1.9.0.1
(conflict: casadi-bindings => casadi-bindings-core==1.9.0.3)
Dependency tree exhaustively searched.