* Humberto Massa Guimarães [Thu, Aug 11, 2005 at 10:39:56AM -0300]: > Yeah, but what does it *DO*? If it is a library, it oughta be called > libmpfi ... and it should be stated. It is a library. The source package is called `mpfi', the binary package is called `libmpfi-dev' (only a static library is provided). So with the package name, section (libdevel) and last paragraph of description this will be fairly obvious it is a library. But I am open to improvements to the description (maybe the first two paragraphs could be made shorter, but on first glance I thought the concept of interval arithmetics was worth explaining). I chose the mpfi/libmpfi-dev naming convention as was done for mpfr, see http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=276085.
Description: Digital signature