cvs commit: ports/math/cvc3 Makefile distinfo pkg-plist

[Li-Wen Hsu]

lwhsu       2012-02-04 14:37:52 UTC

  FreeBSD ports repository

  Modified files:
    math/cvc3            Makefile distinfo pkg-plist 
  Log:
  - Update to 2.4.1
  
  Revision  Changes    Path
  1.7       +13 -5     ports/math/cvc3/Makefile
  1.4       +2 -2      ports/math/cvc3/distinfo
  1.3       +6 -0      ports/math/cvc3/pkg-plist