From owner-freebsd-pkg@freebsd.org Sun Sep 20 20:22:12 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 DEFABA05B2F for ; Sun, 20 Sep 2015 20:22:12 +0000 (UTC) (envelope-from jlehen@gmail.com) Received: from mail-la0-x236.google.com (mail-la0-x236.google.com [IPv6:2a00:1450:4010:c03::236]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 69CB81A1A for ; Sun, 20 Sep 2015 20:22:12 +0000 (UTC) (envelope-from jlehen@gmail.com) Received: by lamp12 with SMTP id p12so56292728lam.0 for ; Sun, 20 Sep 2015 13:22:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc:content-type; bh=Koe/tsDo7QchIrWu8i+Z7l26OZ+HlVzIr/8Xzabu62M=; b=poNRW5dm3S9r8G0RU61it41y3Jmvj6vRsk5Xz98m1T7W41By5HZzoHkAyta1wqATUH TXkMLARKMV4JBx5VIPBdUrbhAvfPM7FHVKw3IUvu8U7zaFEkQwU21JfpoYypP5Nv09Ha JF8XzuxNDsjuVLEbbix6nNH0tcddp5aRmrzSS0W0lBtqwdu+PX8As1zKow1u/gM3WeZX qDI0g3JUQ42+oogjCs9NeqQJwX58eLw7cZyatl4cWupNBgLsyFZGyrZglqK7oUSWmF6k QLUHBo6sL9LoWmeJ79eXAMDzxghHq0Etjuimj7Xk03BQtIrPAOye2AMkh1ui8E0pEgzP 809g== MIME-Version: 1.0 X-Received: by 10.152.7.37 with SMTP id g5mr6370067laa.22.1442780530396; Sun, 20 Sep 2015 13:22:10 -0700 (PDT) Sender: jlehen@gmail.com Received: by 10.112.15.38 with HTTP; Sun, 20 Sep 2015 13:22:10 -0700 (PDT) In-Reply-To: <20150918093001.31fd7cba@laptop.minsk.domain> References: <20150918093001.31fd7cba@laptop.minsk.domain> Date: Sun, 20 Sep 2015 22:22:10 +0200 X-Google-Sender-Auth: a4O0nEJconLxQKJx6Huv4ucZ10A Message-ID: Subject: Re: pk error: cannot solve job using SAT solver From: Jeremie Le Hen To: "Sergey V. Dyatko" Cc: freebsd-pkg@freebsd.org Content-Type: text/plain; charset=UTF-8 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: Sun, 20 Sep 2015 20:22:13 -0000 On Fri, Sep 18, 2015 at 8:30 AM, Sergey V. Dyatko wrote: > On Thu, 17 Sep 2015 22:21:19 +0200 > Jeremie Le Hen wrote: > >> 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 >> > > you may try to do following: > > 1) pkg install jpeg-turbo > 2) pkg upgrade The rationale is a bit unclear to me. Can you explain please? :) Thanks, -- Jeremie Le Hen jlh@FreeBSD.org