Re: [PATCH 14/14] gnu: Add deal.II.

[Ludovic Courtès]

ericbav...@openmailbox.org skribis:

> From: Eric Bavier <bav...@member.fsf.org>
>
> * 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’.