cvs commit: ports/math/proofgeneral Makefile

Kris Kennaway kris at FreeBSD.org
Sat Dec 9 11:57:28 PST 2006


kris        2006-12-09 19:57:26 UTC

  FreeBSD ports repository

  Modified files:
    math/proofgeneral    Makefile 
  Log:
  Deprecate and expire on 2007-02-07 to give the maintainer more incentive
  to work on this long-standing problem.
  
  Revision  Changes    Path
  1.10      +2 -0      ports/math/proofgeneral/Makefile


More information about the cvs-all mailing list