summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--digest-coq-7.460logplain
-rw-r--r--digest-coq-8.0_beta64logplain
-rw-r--r--ocaml-3.07.patch333logplain