Date: Sun, 14 Sep 2014 18:59:11 +0200 From: =?utf-8?B?UmFkZWsgS3JlasSNYQ==?= <radek.krejca@starnet.cz> To: 'Matthew Seaman' <matthew@FreeBSD.org>, "'freebsd-pkg@freebsd.org'" <freebsd-pkg@freebsd.org> Subject: RE: firefox: pkg: Cannot solve problem using SAT solver Message-ID: <B2E0472020754D45B72E9B0CE35278CAB7242FC952@EXCHANGE.mail.starnet.cz> In-Reply-To: <541558C4.507@FreeBSD.org> References: <201409140845.s8E8jmkC000795@mech-as221.men.bris.ac.uk> <541558C4.507@FreeBSD.org>
next in thread | previous in thread | raw e-mail | index | archive | help
PiA+IEhhdmUgSSBmb3Jnb3R0ZW4gc29tZXRoaW5nPw0KPiANCj4gWW91J3JlIHRoZSBzZWNvbmQg cGVyc29uIHRvIHJlcG9ydCB0aGlzLiAgSXQgZG9lcyBzZWVtIHRvIGJlIGEgcHJvYmxlbQ0KPiB3 aXRoIHRoZSBmaXJlZm94IHBvcnQgaW4gdGhlIEZyZWVCU0QgcmVwb3NpdG9yeS4gIExvb2tzIGxp a2UgaXQNCj4gY29uZmxpY3RzIHdpdGggaXQncyBvd24gZGVwZW5kZW5jaWVzLg0KDQpJdCBsb29r cywgdGhhdCBwcm9ibGVtIHNob3VsZCBiZSBpbiBqcGVnLXR1cmJvLCBiZWNhdXNlIHNvbWUgcGFj a2FnZXMgbmVlZCBqcGVnIGFuZCBvdGhlcnMganBlZy10dXJiby4gQnV0IEkgZG9udCBrbm93IGlm IGlzIHRoZSByZWFzb24uDQoNCkFuZCB0aGlzIHNpdHVhdGlvbiBpcyBhYm91dCAzIHdlZWtzIG9s ZC4NCg0KUmFkZWsNCg==
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?B2E0472020754D45B72E9B0CE35278CAB7242FC952>