/app-sci/coq/files/

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