cvs commit: ports/math/coq Makefile

Kris Kennaway kris at FreeBSD.org
Mon Mar 6 12:30:53 PST 2006

Previous message: cvs commit: ports/x11-servers/xorg-server-snap Makefile
Next message: cvs commit: ports/games/ggz-kde-client Makefile
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

kris        2006-03-06 20:30:52 UTC

  FreeBSD ports repository

  Modified files:
    math/coq             Makefile 
  Log:
  BROKEN: Does not build
  
  Approved by:    portmgr (implicit)
  
  Revision  Changes    Path
  1.11      +2 -0      ports/math/coq/Makefile

Previous message: cvs commit: ports/x11-servers/xorg-server-snap Makefile
Next message: cvs commit: ports/games/ggz-kde-client Makefile
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cvs-all mailing list