Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 17 Sep 2015 22:21:19 +0200
From:      Jeremie Le Hen <jlh@FreeBSD.org>
To:        freebsd-pkg@FreeBSD.org
Subject:   pk error: cannot solve job using SAT solver
Message-ID:  <CAGSa5y0fEuY86oXd5LL9eMBXBtmHzvrSXf6ez=L5GsS1myo5TQ@mail.gmail.com>

next in thread | raw e-mail | index | archive | help
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@FreeBSD.org



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAGSa5y0fEuY86oXd5LL9eMBXBtmHzvrSXf6ez=L5GsS1myo5TQ>