/app-sci/coq/files/

• ../
• digest-coq-7.4
• digest-coq-8.0_beta
• ocaml-3.07.patch