From owner-freebsd-ports@FreeBSD.ORG  Thu Aug 14 22:01:39 2014
Return-Path: <owner-freebsd-ports@FreeBSD.ORG>
Delivered-To: freebsd-ports@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTPS id 656B23EC
 for <freebsd-ports@freebsd.org>; Thu, 14 Aug 2014 22:01:39 +0000 (UTC)
Received: from mx1b.lautre.net (mx1b.lautre.net [80.67.160.72])
 (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
 (Client CN "*.lautre.net",
 Issuer "StartCom Class 2 Primary Intermediate Server CA" (verified OK))
 by mx1.freebsd.org (Postfix) with ESMTPS id 232722E79
 for <freebsd-ports@freebsd.org>; Thu, 14 Aug 2014 20:28:13 +0000 (UTC)
Received: from graf.pompo.net (graf.pompo.net [78.225.128.39])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 (Authenticated sender: thierry@pompo.net)
 by mx1b.lautre.net (Postfix) with ESMTPSA id 34A0F7E10E
 for <freebsd-ports@freebsd.org>; Thu, 14 Aug 2014 22:28:10 +0200 (CEST)
Received: by graf.pompo.net (Postfix, from userid 1001)
 id 7B1A771E388; Thu, 14 Aug 2014 22:28:09 +0200 (CEST)
Date: Thu, 14 Aug 2014 22:28:09 +0200
From: Thierry Thomas <thierry@FreeBSD.org>
To: freebsd-ports@freebsd.org
Subject: pkg: Cannot solve problem using SAT solver
Message-ID: <20140814202809.GA78698@graf.pompo.net>
Mail-Followup-To: freebsd-ports@freebsd.org
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
X-Operating-System: FreeBSD 10.0-STABLE amd64
Organization: Kabbale Eros
X-Face: (hRbQnK~Pt7$ct`!fupO(`y_WL4^-Iwn4@ly-.,[4xC4xc;
 y=\ipKMNm<1J>lv@PP~7Z<.t KjAnXLs:
X-PGP: 0xF1C516B3C8359753
User-Agent: Mutt/1.5.23 (2014-03-12)
X-BeenThere: freebsd-ports@freebsd.org
X-Mailman-Version: 2.1.18-1
Precedence: list
List-Id: Porting software to FreeBSD <freebsd-ports.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/freebsd-ports>,
 <mailto:freebsd-ports-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-ports/>
List-Post: <mailto:freebsd-ports@freebsd.org>
List-Help: <mailto:freebsd-ports-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports>,
 <mailto:freebsd-ports-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 14 Aug 2014 22:01:39 -0000

Hello,

Trying to upgrade a machine with `pkg upgrade', it displays these
messages:

pkg: Cannot solve problem using SAT solver:
cannot install package ecs~science/ecs, remove it from request [Y/n]: Y
pkg: Cannot solve problem using SAT solver:
cannot install package apache22~www/apache22, remove it from request [Y/n]: Y
cannot install package mod_php5~www/mod_php5, remove it from request [Y/n]: Y

This is pkg 1.3.6.

Is it possible to upgrade these packages with pkg, or do we need to use
the ports?

Regards,
-- 
Th. Thomas.