[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 14/14] gnu: Add deal.II.
From: |
Ludovic Courtès |
Subject: |
Re: [PATCH 14/14] gnu: Add deal.II. |
Date: |
Sun, 28 Jun 2015 22:22:36 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
address@hidden skribis:
> From: Eric Bavier <address@hidden>
>
> * gnu/packages/maths.scm (deal.II, deal.II-openmpi): New variables.
> * gnu/packages/patches/deal.II-p4est-interface.patch: New patch.
> * gnu-system.am (dist_patch_DATA): Add it.
[...]
> +(define-public deal.II
> + (package
> + (name "deal.II")
What about ‘deal-ii’ for both, or even ‘dealii’ (like the domain name)?
Otherwise LGTM.
Thanks,
Ludo’.
- [PATCH 12/14] gnu: Add arpack-ng-openmpi., (continued)
- [PATCH 12/14] gnu: Add arpack-ng-openmpi., ericbavier, 2015/06/27
- [PATCH 11/14] gnu: petsc: Upgrade to 3.6.0., ericbavier, 2015/06/27
- [PATCH 10/14] gnu: Add MUMPS., ericbavier, 2015/06/27
- [PATCH 09/14] gnu: Add METIS., ericbavier, 2015/06/27
- [PATCH 14/14] gnu: Add deal.II., ericbavier, 2015/06/27
- Re: [PATCH 14/14] gnu: Add deal.II.,
Ludovic Courtès <=