From owner-freebsd-pkg@freebsd.org Fri Sep 18 17:19:48 2015 Return-Path: Delivered-To: freebsd-pkg@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id E524D9CFA28 for ; Fri, 18 Sep 2015 17:19:47 +0000 (UTC) (envelope-from vas@mpeks.tomsk.su) Received: from relay2.tomsk.ru (mail.sibptus.tomsk.ru [212.73.124.5]) by mx1.freebsd.org (Postfix) with ESMTP id C7EBC1584; Fri, 18 Sep 2015 17:19:45 +0000 (UTC) (envelope-from vas@mpeks.tomsk.su) X-Virus-Scanned: by clamd daemon 0.98.5_1 for FreeBSD at relay2.tomsk.ru Received: from admin.sibptus.TOMSK.ru ([212.73.125.240] verified) by relay2.tomsk.ru (CommuniGate Pro SMTP 5.1.16) with ESMTPS id 38867510; Fri, 18 Sep 2015 23:19:44 +0600 Received: from admin.sibptus.TOMSK.ru (sudakov@localhost [127.0.0.1]) by admin.sibptus.TOMSK.ru (8.14.9/8.14.7) with ESMTP id t8IHJgMs024629; Fri, 18 Sep 2015 23:19:44 +0600 (NOVT) (envelope-from vas@mpeks.tomsk.su) Received: (from sudakov@localhost) by admin.sibptus.TOMSK.ru (8.14.9/8.14.7/Submit) id t8IHJgC3024628; Fri, 18 Sep 2015 23:19:42 +0600 (NOVT) (envelope-from vas@mpeks.tomsk.su) X-Authentication-Warning: admin.sibptus.TOMSK.ru: sudakov set sender to vas@mpeks.tomsk.su using -f Date: Fri, 18 Sep 2015 23:19:42 +0600 From: Victor Sudakov To: "Sergey V. Dyatko" Cc: Jeremie Le Hen , freebsd-pkg@FreeBSD.org Subject: Re: pk error: cannot solve job using SAT solver Message-ID: <20150918171942.GA24497@admin.sibptus.tomsk.ru> References: <20150918093001.31fd7cba@laptop.minsk.domain> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20150918093001.31fd7cba@laptop.minsk.domain> Organization: OAO "Svyaztransneft", SibPTUS X-PGP-Key: http://www.dreamwidth.org/pubkey?user=victor_sudakov X-PGP-Fingerprint: 10E3 1171 1273 E007 C2E9 3532 0DA4 F259 9B5E C634 User-Agent: Mutt/1.5.23 (2014-03-12) X-BeenThere: freebsd-pkg@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: Binary package management and package tools discussion List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 18 Sep 2015 17:19:48 -0000 Sergey V. Dyatko wrote: > > > > 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 > > > > you may try to do following: > > 1) pkg install jpeg-turbo > 2) pkg upgrade Is this a manifestation of the same problem (see below)? What kind of problem is it and why? # pkg upgrade Updating sibptus repository catalogue... sibptus repository is up-to-date. All repositories are up-to-date. Checking for upgrades (84 candidates): 100% Processing candidates (84 candidates): 100% Checking integrity... done (1 conflicting) pkg: Cannot solve problem using SAT solver: upgrade rule: upgrade local php5-gd-5.4.43_1 to remote php5-gd-5.4.45 cannot install package php5-gd, remove it from request? [Y/n]: n pkg: cannot solve job using SAT solver Checking integrity... done (0 conflicting) Your packages are up to date. # !! pkg upgrade Updating sibptus repository catalogue... sibptus repository is up-to-date. All repositories are up-to-date. Checking for upgrades (84 candidates): 100% Processing candidates (84 candidates): 100% Checking integrity... done (1 conflicting) pkg: Cannot solve problem using SAT solver: upgrade rule: upgrade local php5-gd-5.4.43_1 to remote php5-gd-5.4.45 cannot install package php5-gd, remove it from request? [Y/n]: y pkg: cannot find php5-gd in the request pkg: cannot solve job using SAT solver Checking integrity... done (0 conflicting) Your packages are up to date. # If I say "pkg install jpeg-turbo", it offers to REMOVE quite a lot, why? # pkg install jpeg-turbo Updating sibptus repository catalogue... sibptus repository is up-to-date. All repositories are up-to-date. Checking integrity... done (1 conflicting) Checking integrity... done (0 conflicting) The following 5 package(s) will be affected (of 0 checked): Installed packages to be REMOVED: jpeg-8_6 php5-gd-5.4.43_1 php5-extensions-1.7 pecl-pdflib-3.0.4 New packages to be INSTALLED: jpeg-turbo: 1.4.1 The operation will free 381 KiB. Proceed with this action? [y/N]: n # I don't want php5-extensions or php5-gd removed! -- Victor Sudakov, VAS4-RIPE, VAS47-RIPN sip:sudakov@sibptus.tomsk.ru