pk error: cannot solve job using SAT solver

Jeremie Le Hen jlh at FreeBSD.org
Thu Sep 17 20:21:22 UTC 2015


Hi,

I wanted to upgrade my package and got the following error:

# pkg upgrade
Updating myserver repository catalogue...
myserver repository is up-to-date.
All repositories are up-to-date.
Checking for upgrades (92 candidates): 100%
Processing candidates (92 candidates): 100%
pkg: Cannot solve problem using SAT solver:
dependency rule: package mutt(l) depends on: tokyocabinet(r)tokyocabinet(l)
upgrade rule: upgrade local tokyocabinet-1.4.48 to remote tokyocabinet-1.4.48
cannot install package tokyocabinet, remove it from request? [Y/n]: y
pkg: cannot find tokyocabinet in the request
pkg: cannot solve job using SAT solver


Note that I have my own package repository that I build with poudriere.
I capture the debug output (-dd) of pkg in the following file:
http://people.freebsd.org/~jlh/typescript.pkg.txt

-- 
Jeremie Le Hen
jlh at FreeBSD.org


More information about the freebsd-pkg mailing list