Subject: CVS commit: wip/sollya
From: Alexander Nasonov
Date: 2015-05-21 00:33:29
Message id: E1YvCYc-0006HY-HQ@sfs-ml-2.v29.ch3.sourceforge.com

Log Message:
Initial commit of sollya-4.1.

Sollya is both a tool environment and a library for safe floating-point
code development. It is particularily targeted to the automatized
implementation of mathematical floating-point libraries (libm). Amongst
other features, it offers a certified infinity (supremum) norm and a
fast Remez algorithm.

Files:
RevisionActionfile
1.1addwip/sollya/DESCR
1.1addwip/sollya/Makefile
1.1addwip/sollya/PLIST
1.1addwip/sollya/distinfo
1.1addwip/sollya/patches/patch-configure