From owner-freebsd-pkg@FreeBSD.ORG Sun Sep 14 16:59:16 2014 Return-Path: Delivered-To: freebsd-pkg@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 BDB44E34; Sun, 14 Sep 2014 16:59:16 +0000 (UTC) Received: from EXCHANGE.mail.starnet.cz (exchange.mail.starnet.cz [92.62.224.72]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (Client CN "EXCHANGE.mail.starnet.cz", Issuer "STARNET" (not verified)) by mx1.freebsd.org (Postfix) with ESMTPS id 4CCD1C31; Sun, 14 Sep 2014 16:59:16 +0000 (UTC) Received: from EXCHANGE.mail.starnet.cz ([fe80::d017:9e72:12a5:7bb4]) by EXCHANGE.mail.starnet.cz ([fe80::d017:9e72:12a5:7bb4%14]) with mapi; Sun, 14 Sep 2014 18:59:13 +0200 From: =?utf-8?B?UmFkZWsgS3JlasSNYQ==?= To: 'Matthew Seaman' , "'freebsd-pkg@freebsd.org'" Date: Sun, 14 Sep 2014 18:59:11 +0200 Subject: RE: firefox: pkg: Cannot solve problem using SAT solver Thread-Topic: firefox: pkg: Cannot solve problem using SAT solver Thread-Index: Ac/P+iSGW0aZgfsnTEyo2ULfVdF6swAQugsw Message-ID: References: <201409140845.s8E8jmkC000795@mech-as221.men.bris.ac.uk> <541558C4.507@FreeBSD.org> In-Reply-To: <541558C4.507@FreeBSD.org> Accept-Language: cs-CZ Content-Language: cs-CZ X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: cs-CZ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-BeenThere: freebsd-pkg@freebsd.org X-Mailman-Version: 2.1.18-1 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, 14 Sep 2014 16:59:16 -0000 PiA+IEhhdmUgSSBmb3Jnb3R0ZW4gc29tZXRoaW5nPw0KPiANCj4gWW91J3JlIHRoZSBzZWNvbmQg cGVyc29uIHRvIHJlcG9ydCB0aGlzLiAgSXQgZG9lcyBzZWVtIHRvIGJlIGEgcHJvYmxlbQ0KPiB3 aXRoIHRoZSBmaXJlZm94IHBvcnQgaW4gdGhlIEZyZWVCU0QgcmVwb3NpdG9yeS4gIExvb2tzIGxp a2UgaXQNCj4gY29uZmxpY3RzIHdpdGggaXQncyBvd24gZGVwZW5kZW5jaWVzLg0KDQpJdCBsb29r cywgdGhhdCBwcm9ibGVtIHNob3VsZCBiZSBpbiBqcGVnLXR1cmJvLCBiZWNhdXNlIHNvbWUgcGFj a2FnZXMgbmVlZCBqcGVnIGFuZCBvdGhlcnMganBlZy10dXJiby4gQnV0IEkgZG9udCBrbm93IGlm IGlzIHRoZSByZWFzb24uDQoNCkFuZCB0aGlzIHNpdHVhdGlvbiBpcyBhYm91dCAzIHdlZWtzIG9s ZC4NCg0KUmFkZWsNCg==