Library for reasoning about floating point numbers in coq.
Created attachment 182426 [details] sci-mathematics/pff/pff-8.2.1.2.ebuild A suggested ebuild.
Created attachment 185865 [details] sci-mathematics/pff/pff-8.2.1.2.ebuild Cleaned version
Created attachment 208082 [details] sci-mathematics/pff/pff-8.2.1.2.ebuild eapi2 update
In science overlay now.
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.