cvs commit: ports/math/coq Makefile distinfo

Volker Stolz vs at FreeBSD.org
Wed Dec 7 07:59:20 PST 2005


vs          2005-12-07 15:59:14 UTC

  FreeBSD ports repository

  Modified files:
    math/coq             Makefile distinfo 
  Log:
  Unbreak: Add vendor-patch for ocaml 3.09
  
  Revision  Changes    Path
  1.10      +2 -0      ports/math/coq/Makefile
  1.4       +3 -0      ports/math/coq/distinfo


More information about the cvs-all mailing list