cvs commit: ports/math/coq Makefile

Anton Berezin tobez at FreeBSD.org
Mon Nov 29 01:34:21 PST 2004


tobez       2004-11-29 09:34:20 UTC

  FreeBSD ports repository

  Modified files:
    math/coq             Makefile 
  Log:
  Mark broken on ia64 and amd64.
  
  PR:             74502
  Submitted by:   maintainer
  
  Revision  Changes    Path
  1.3       +4 -0      ports/math/coq/Makefile


More information about the cvs-all mailing list