From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id EF191138247 for ; Fri, 17 Jan 2014 09:11:46 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id BF563E0B7B; Fri, 17 Jan 2014 09:11:45 +0000 (UTC) Received: from out3-smtp.messagingengine.com (out3-smtp.messagingengine.com [66.111.4.27]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 28568E0B77 for ; Fri, 17 Jan 2014 09:11:44 +0000 (UTC) Received: from compute5.internal (compute5.nyi.mail.srv.osa [10.202.2.45]) by gateway1.nyi.mail.srv.osa (Postfix) with ESMTP id EEEAC20A43 for ; Fri, 17 Jan 2014 04:11:43 -0500 (EST) Received: from frontend2 ([10.202.2.161]) by compute5.internal (MEProxy); Fri, 17 Jan 2014 04:11:43 -0500 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=message-id:date:from:mime-version:to :subject:references:in-reply-to:content-type :content-transfer-encoding; s=smtpout; bh=TQ9zqmvkas4fHfTL33klRB d+uwY=; b=SuinqrJP/FGD2sVWrOe1o0OkbKs+VDLxZIum9zdiLx0/TDxHsszZ5N +JCn3FVEf618004IxvCeb8oZf+InrTlE0RwgM8PHrQQwea9n71xSdMut3+h5Dyf5 zReZXCKKnqODYN0zIriyafzG/krDQ+qiZf5IkAIzxZQYEoBfRdccQ= X-Sasl-enc: CH1vnVGGAchV0QEdDoHyk7EmNY6IYZ1HNcZxaM7lBLSK 1389949903 Received: from [192.168.245.201] (unknown [192.16.184.220]) by mail.messagingengine.com (Postfix) with ESMTPA id 9FE776800D8 for ; Fri, 17 Jan 2014 04:11:43 -0500 (EST) Message-ID: <52D8F3CF.1000700@equaeghe.nospammail.net> Date: Fri, 17 Jan 2014 10:11:43 +0100 From: Erik Quaeghebeur User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0 Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-science@lists.gentoo.org Reply-to: gentoo-science@lists.gentoo.org MIME-Version: 1.0 To: gentoo-science@lists.gentoo.org Subject: Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)? References: <52D45996.4020201@equaeghe.nospammail.net> <01c8bc34aaf110a62e413bb229be93c8@slingshot.co.nz> <52D461CF.6040306@equaeghe.nospammail.net> <7b3d7121bfef543aaa751b45fb412b14@slingshot.co.nz> In-Reply-To: <7b3d7121bfef543aaa751b45fb412b14@slingshot.co.nz> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Archives-Salt: fc154d2e-c9ac-4039-88a3-b74946091e58 X-Archives-Hash: 0ce3f4f76a9359ffafdfc3c73ee96c20 op 13-01-14 23:08, François Bissey schreef: > > up to you for the update in sage. But I will make an ebuild based on > the available source. The CryptoMiniSat sources for all releases can be found at https://gforge.inria.fr/frs/?group_id=1992 Currently, I guess 2.9. and the latest 2.9.x (at the time of writing 2.9.8) may be useful. (In future 3.4 may be used by Sage.) Best, Erik