cvs commit: ports/math/coq Makefile distinfo

From: Johan van Selst <johans_at_FreeBSD.org>
Date: Mon, 25 Apr 2011 17:48:54 +0000 (UTC)
johans      2011-04-25 17:48:54 UTC

  FreeBSD ports repository

  Modified files:
    math/coq             Makefile distinfo 
  Log:
  Update coq to 8.3.2
  
  Revision  Changes    Path
  1.29      +4 -3      ports/math/coq/Makefile
  1.13      +2 -2      ports/math/coq/distinfo
Received on Mon Apr 25 2011 - 17:48:54 UTC