Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: casadi-bindings-internal (user goal)
rejecting: casadi-bindings-internal-0.1.4.0 (conflict: requires pkg-config
package casadi==3.0.0, not found in the pkg-config database)
rejecting: 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,
casadi-bindings-internal-0.1.1, casadi-bindings-internal-0.1 (constraint from
user target requires ==0.1.4.0)
Dependency tree exhaustively searched.