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

Li-Wen Hsu lwhsu at FreeBSD.org
Fri Sep 7 15:54:09 PDT 2007


lwhsu       2007-09-07 22:54:09 UTC

  FreeBSD ports repository

  Modified files:
    math/cvc3            Makefile distinfo pkg-plist 
  Log:
  - Update to 1.2.1
  
  Revision  Changes    Path
  1.3       +1 -1      ports/math/cvc3/Makefile
  1.2       +3 -3      ports/math/cvc3/distinfo
  1.2       +3 -0      ports/math/cvc3/pkg-plist


More information about the cvs-ports mailing list