From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:53398) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gU7jN-0005xc-MI for guix-patches@gnu.org; Tue, 04 Dec 2018 05:15:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gU7jK-0000yf-Jj for guix-patches@gnu.org; Tue, 04 Dec 2018 05:15:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:55638) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gU7jK-0000yR-Gg for guix-patches@gnu.org; Tue, 04 Dec 2018 05:15:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gU7jK-0006zM-6J for guix-patches@gnu.org; Tue, 04 Dec 2018 05:15:02 -0500 Subject: bug#33545: [PATCH 0/2] Enable use of hypre via petsc Resent-To: guix-patches@gnu.org Resent-Message-ID: From: ludovic.courtes@inria.fr (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <1543434150-32152-1-git-send-email-pgarlick@tourbillion-technology.com> Date: Tue, 04 Dec 2018 11:13:54 +0100 In-Reply-To: <1543434150-32152-1-git-send-email-pgarlick@tourbillion-technology.com> (Paul Garlick's message of "Wed, 28 Nov 2018 19:42:30 +0000") Message-ID: <87va4961lp.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Paul Garlick Cc: 33545-done@debbugs.gnu.org Hello, Paul Garlick skribis: > Paul Garlick (2): > gnu: petsc-openmpi: Configure with support for HYPRE preconditioner. > gnu: fenics: Skip extra demo in 'check' phase. Applied both patches, thank you! Ludo=E2=80=99.