From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gentoo-science+bounces-1871-garchives=archives.gentoo.org@lists.gentoo.org>
Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80])
	by finch.gentoo.org (Postfix) with ESMTP id 1EF1B138247
	for <garchives@archives.gentoo.org>; Mon, 13 Jan 2014 21:38:46 +0000 (UTC)
Received: from pigeon.gentoo.org (localhost [127.0.0.1])
	by pigeon.gentoo.org (Postfix) with SMTP id 1E29AE0B4C;
	Mon, 13 Jan 2014 21:38:44 +0000 (UTC)
Received: from mailfilter2.tranzpeer.net (mailfilter-227.tranzpeer.net [202.180.66.227])
	by pigeon.gentoo.org (Postfix) with ESMTP id 63627E0B46
	for <gentoo-science@lists.gentoo.org>; Mon, 13 Jan 2014 21:38:43 +0000 (UTC)
Received: from webmail.slingshot.co.nz (webmailfe2.prv.callplus.co.nz [202.189.160.42])
	by mailfilter2.tranzpeer.net (Postfix) with ESMTP id A52C072A1
	for <gentoo-science@lists.gentoo.org>; Tue, 14 Jan 2014 10:38:41 +1300 (NZDT)
Precedence: bulk
List-Post: <mailto:gentoo-science@lists.gentoo.org>
List-Help: <mailto:gentoo-science+help@lists.gentoo.org>
List-Unsubscribe: <mailto:gentoo-science+unsubscribe@lists.gentoo.org>
List-Subscribe: <mailto:gentoo-science+subscribe@lists.gentoo.org>
List-Id: Gentoo Linux mail <gentoo-science.gentoo.org>
X-BeenThere: gentoo-science@lists.gentoo.org
Reply-to: gentoo-science@lists.gentoo.org
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8;
 format=flowed
Content-Transfer-Encoding: 8bit
Date: Tue, 14 Jan 2014 10:38:41 +1300
From: =?UTF-8?Q?Fran=C3=A7ois_Bissey?= <fbissey@slingshot.co.nz>
To: gentoo-science@lists.gentoo.org
Subject: Re: [gentoo-science] sage-on-gentoo: possible to install optional
 package =?UTF-8?Q?=28cryptominisat=29=3F?=
In-Reply-To: <52D45996.4020201@equaeghe.nospammail.net>
References: <52D45996.4020201@equaeghe.nospammail.net>
Message-ID: <01c8bc34aaf110a62e413bb229be93c8@slingshot.co.nz>
X-Sender: fbissey@slingshot.co.nz
User-Agent: Roundcube Webmail/0.9.2
X-Spam-Status: No, score=-3.3 required=5.0 tests=BAYES_00,KHOP_THREADED,
	LOCAL_SLINGSHOT_TEST,UNPARSEABLE_RELAY autolearn=ham version=3.3.2
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on spamsrv2
X-Archives-Salt: e25c2312-794f-45aa-a187-1cce25e9b35f
X-Archives-Hash: 2f3584f8fed2af9f6959dfc9d3b745f5

On 2014-01-14 10:24, Erik Quaeghebeur wrote:
> Hi,
> 
> 
> I've just installed sage-on-gentoo and was interested in trying out
> the SAT solver (powered by CryptoMiniSat). This is an optional
> package. Are such packages or this particular package available in
> some way?
> 
Hi Erik,

I don't believe we have such package in our tree. If you point me to
the sources I may be able to make one for you (and anyone else wanting 
it).

François