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