sci-mathematics/coq-8.2_p1-r1:doc