From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:54243) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gFRUZ-00064Y-Sf for guix-patches@gnu.org; Wed, 24 Oct 2018 18:19:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gFRUU-0003gQ-RR for guix-patches@gnu.org; Wed, 24 Oct 2018 18:19:07 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:36702) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gFRUU-0003gI-N2 for guix-patches@gnu.org; Wed, 24 Oct 2018 18:19:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gFRUU-0007yB-IH for guix-patches@gnu.org; Wed, 24 Oct 2018 18:19:02 -0400 Subject: [bug#33059] [PATCH 10/10] gnu: Add fenics. Resent-Message-ID: From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <1539682284-6446-1-git-send-email-pgarlick@tourbillion-technology.com> <1539682284-6446-10-git-send-email-pgarlick@tourbillion-technology.com> Date: Thu, 25 Oct 2018 00:17:46 +0200 In-Reply-To: <1539682284-6446-10-git-send-email-pgarlick@tourbillion-technology.com> (Paul Garlick's message of "Tue, 16 Oct 2018 10:31:24 +0100") Message-ID: <87k1m7vvjp.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: 33059@debbugs.gnu.org Paul Garlick skribis: > * gnu/packages/simulation.scm (fenics): New variable. [...] > +;; The FEniCS Project. > +(define-public fenics > + (package > + (inherit python-fenics-dolfin) > + (name "fenics"))) Would it make sense to simply rename =E2=80=9Cpython-fenics-dolfin=E2=80=9D= to =E2=80=9Cfenics=E2=80=9D? I don=E2=80=99t know about Eric but for myself I don=E2=80=99t have anythin= g to add. Perhaps you can prepare a v2? Thank you for the big patch series! Ludo=E2=80=99.