Author: larryv at macports.org (original author: larryv at macports.org) Revision: 127095 Property Name: svn:log @@ -1,3 +1,4 @@ coq: Fix build with OCaml 4.02 (#45508) -OCaml 4.02 requires comments to be syntactically correct (???). +OCaml 4.02 requires the contents of comments to be syntactically correct +(???).