/sci-mathematics/coq/files/

• ../
• coq-8.0-byteflags.patch
• coq-8.0-ocaml-3.08.1.patch
• coqide.desktop
• digest-coq-8.0-r1
• digest-coq-8.0_p3
• ocaml-3.07.patch