/app-sci/coq/files/

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