<package>
  <description brief="Correctly Rounded Mathematical Library v1.0beta4">
    CRlibm, an efficient and proven correctly-rounded mathematical library (similar to libm) which provides:

    * implementations of the double-precision C99 standard elementary functions,

    * correctly rounded in the four IEEE-754 rounding modes,

    * with a comprehensive proof of both the algorithms used and their implementation,

    * sufficiently efficient in average time, worst-case time, and memory consumption to replace existing libms transparently
  </description>
  <author>Jean Michel Muller, Florent de Dinechin, Christoph Lauter, ROS package maintained by Rosen Diankov</author>
  <license>LGPL</license>
  <review status="unreviewed" notes=""/>
  <url>http://lipforge.ens-lyon.fr/www/crlibm/</url>
  <export>
    <cpp lflags="-Wl,-rpath,${prefix}/lib -L${prefix}/lib -lcrlibm" cflags="-I${prefix}/include"/>
  </export>
</package>
