On Thu, May 01, 2014 at 11:26:48AM -0500, Eric Bavier wrote: > I was originally thinking "petsc" but then discovered that the package > name on many other distributions is "libpetsc". I would personally > prefer "petsc".
Our general rule is to use the upstream name (less need to think!), while I think other distributions often add "lib" for packages that do not contain executables. Andreas
