On Sun, 28 Jun 2015 22:22:36 +0200 l...@gnu.org (Ludovic Courtès) wrote: > 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)?
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
