Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 259476 - [science overlay] sci-mathematics/gappa (New package)
Summary: [science overlay] sci-mathematics/gappa (New package)
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High enhancement (vote)
Assignee: Default Assignee for New Packages
URL: http://lipforge.ens-lyon.fr/www/gappa/
Whiteboard: Science overlay
Keywords: EBUILD, InOverlay
Depends on:
Blocks: 259477
  Show dependency tree
 
Reported: 2009-02-18 14:11 UTC by Jonathan-Christofer Demay
Modified: 2011-06-20 06:19 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
sci-mathematics/gappa/gappa-0.11.0.ebuild (gappa-0.11.0.ebuild,798 bytes, text/plain)
2009-02-18 14:11 UTC, Jonathan-Christofer Demay
Details
sci-mathematics/gappa/gappa-0.11.0.ebuild (gappa-0.11.0.ebuild,1.28 KB, text/plain)
2009-03-22 14:09 UTC, Jonathan-Christofer Demay
Details
sci-mathematics/gappa/gappa-0.12.1.ebuild (gappa-0.12.1.ebuild,1.25 KB, text/plain)
2009-10-23 23:20 UTC, Jonathan-Christofer Demay
Details
sci-mathematics/gappa/gappa-0.12.1.ebuild (gappa-0.12.1.ebuild,1.22 KB, text/plain)
2009-10-24 00:07 UTC, Jonathan-Christofer Demay
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Jonathan-Christofer Demay 2009-02-18 14:11:01 UTC
A tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.

http://lipforge.ens-lyon.fr/www/gappa/
Comment 1 Jonathan-Christofer Demay 2009-02-18 14:11:29 UTC
Created attachment 182423 [details]
sci-mathematics/gappa/gappa-0.11.0.ebuild

A suggested ebuild.
Comment 2 Jonathan-Christofer Demay 2009-03-22 14:09:04 UTC
Created attachment 185871 [details]
sci-mathematics/gappa/gappa-0.11.0.ebuild

A few clean ups
Install doc files
Comment 3 Jonathan-Christofer Demay 2009-10-23 23:20:00 UTC
Created attachment 208086 [details]
sci-mathematics/gappa/gappa-0.12.1.ebuild

version bump
Comment 4 Jonathan-Christofer Demay 2009-10-24 00:07:59 UTC
Created attachment 208101 [details]
sci-mathematics/gappa/gappa-0.12.1.ebuild

eapi2 update
Comment 5 Sébastien Fabbro (RETIRED) gentoo-dev 2010-01-13 17:32:52 UTC
In science overlay.