cvs commit: ports/math/coq Makefile

Mark Linimon linimon at FreeBSD.org
Fri Nov 11 02:53:40 UTC 2011

Previous message: cvs commit: ports/lang/rexx-regina Makefile
Next message: cvs commit: ports/multimedia/avidemux2 Makefile.common
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

linimon     2011-11-11 02:53:39 UTC

  FreeBSD ports repository

  Modified files:
    math/coq             Makefile 
  Log:
  Mark as broken on powerpc: fails to link.
  
  Hat:            portmgr
  Feature safe:   yes
  
  Revision  Changes    Path
  1.31      +4 -0      ports/math/coq/Makefile

Previous message: cvs commit: ports/lang/rexx-regina Makefile
Next message: cvs commit: ports/multimedia/avidemux2 Makefile.common
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cvs-all mailing list