cvs commit: ports/math/proofgeneral Makefile

Kris Kennaway kris at FreeBSD.org
Thu Oct 27 23:34:45 PDT 2005


kris        2005-10-28 06:34:44 UTC

  FreeBSD ports repository

  Modified files:
    math/proofgeneral    Makefile 
  Log:
  BROKEN on amd64: Does not build
  
  Revision  Changes    Path
  1.3       +4 -0      ports/math/proofgeneral/Makefile


More information about the cvs-all mailing list