Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: casadi-bindings-ipopt-interface (user goal)
rejecting: casadi-bindings-ipopt-interface-1.9.0.3 (conflict: requires
pkg-config package casadi_ipopt_interface-any, not found in the pkg-config
database)
rejecting: casadi-bindings-ipopt-interface-1.9.0.2,
casadi-bindings-ipopt-interface-1.9.0.1 (constraint from user target requires
==1.9.0.3)
Dependency tree exhaustively searched.