Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: casadi-bindings-internal (user goal)
rejecting: casadi-bindings-internal-0.1.5.0, casadi-bindings-internal-0.1.4.0,
casadi-bindings-internal-0.1.3.1, casadi-bindings-internal-0.1.3.0,
casadi-bindings-internal-0.1.2.1, casadi-bindings-internal-0.1.2 (constraint
from user target requires ==0.1.1)
rejecting: casadi-bindings-internal-0.1.1 (conflict: requires pkg-config
package casadi_core-any, not found in the pkg-config database)
rejecting: casadi-bindings-internal-0.1 (constraint from user target requires
==0.1.1)
Dependency tree exhaustively searched.