Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 259479 - [science overlay] sci-mathematics/pff
Summary: [science overlay] sci-mathematics/pff
Status: RESOLVED OBSOLETE
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/pff/
Whiteboard: Science overlay
Keywords: EBUILD, InOverlay
Depends on:
Blocks: 245806 245807
  Show dependency tree
 
Reported: 2009-02-18 14:17 UTC by Jonathan-Christofer Demay
Modified: 2022-05-08 00:49 UTC (History)
2 users (show)

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

Attachments
sci-mathematics/pff/pff-8.2.1.2.ebuild (pff-8.2.1.2.ebuild,802 bytes, text/plain)
2009-02-18 14:18 UTC, Jonathan-Christofer Demay 		Details
sci-mathematics/pff/pff-8.2.1.2.ebuild (pff-8.2.1.2.ebuild,775 bytes, text/plain)
2009-03-22 13:52 UTC, Jonathan-Christofer Demay 		Details
sci-mathematics/pff/pff-8.2.1.2.ebuild (pff-8.2.1.2.ebuild,754 bytes, text/plain)
2009-10-23 23:02 UTC, Jonathan-Christofer Demay 		Details
Show Obsolete (2) View All Add an attachment (proposed patch, testcase, etc.)

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:17:44 UTC 
Library for reasoning about floating point numbers in coq.
Comment 1 Jonathan-Christofer Demay 2009-02-18 14:18:31 UTC 
Created attachment 182426 [details]
sci-mathematics/pff/pff-8.2.1.2.ebuild

A suggested ebuild.
Comment 2 Jonathan-Christofer Demay 2009-03-22 13:52:36 UTC 
Created attachment 185865 [details]
sci-mathematics/pff/pff-8.2.1.2.ebuild

Cleaned version
Comment 3 Jonathan-Christofer Demay 2009-10-23 23:02:20 UTC 
Created attachment 208082 [details]
sci-mathematics/pff/pff-8.2.1.2.ebuild

eapi2 update
Comment 4 Sébastien Fabbro (RETIRED) gentoo-dev 2010-01-13 17:34:15 UTC 
In science overlay now.
Comment 5 Michael Orlitzky gentoo-dev 2022-05-08 00:49:58 UTC 
This package disappeared upstream, and has been removed from the science overlay:

https://github.com/gentoo/sci/commit/a7a7bf61a17ed0027158c35aac900bbc84d3ec23

There is a possible successor (sci-mathematics/flocq) in the overlay. If anyone needs that package in ::gentoo I would suggest starting from scratch with a new bug.