Coq-8.2 is now in its second release candidate state, it can be downloaded here: http://coq.inria.fr/V8.2rc2/files/coq-8.2rc2.tar.gz
Created attachment 180859 [details] sci-mathematics/coq/coq-8.2_rc2.ebuild Here is a suggested ebuild, I think the patch from sci-mathematics/coq-8.1_px are no longer needed.
Created attachment 182387 [details] Version bump (compiles 8.2 release) Just removing the -rc2. Ebuild works for compiling 8.2 release. Compiled on amd64
Created attachment 182419 [details] sci-mathematics/coq/coq-8.2.ebuild Indeed. A few clean up in the last one.
Hi Jonathan, if you really want to help, then always also attach patches against the latest in-tree ebuild, currently 8.1_p4.
bumped, thanks I've based the ebuild on yours and I had a couple of improvements to add there :)