Bug 259476

Summary:	[science overlay] sci-mathematics/gappa (New package)
Product:	Gentoo Linux	Reporter:	Jonathan-Christofer Demay <jcdemay>
Component:	New packages	Assignee:	Default Assignee for New Packages <maintainer-wanted>
Status:	CONFIRMED ---
Severity:	enhancement	CC:	sci-mathematics
Priority:	High	Keywords:	EBUILD, InOverlay
Version:	unspecified
Hardware:	All
OS:	Linux
URL:	http://lipforge.ens-lyon.fr/www/gappa/
Whiteboard:	Science overlay
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	259477
Attachments:	sci-mathematics/gappa/gappa-0.11.0.ebuild sci-mathematics/gappa/gappa-0.11.0.ebuild sci-mathematics/gappa/gappa-0.12.1.ebuild sci-mathematics/gappa/gappa-0.12.1.ebuild

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.