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

[Eric Bavier]

On Sun, 28 Jun 2015 22:22:36 +0200
address@hidden (Ludovic Courtès) wrote:

> 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)?

I would prefer to keep "deal.II" for the name at least, because that it
the software's declared name, despite the domain and tarball being
"dealii".  Are there arguments against it?

> 
> Otherwise LGTM.

Thanks,
`~Eric