cvs commit: CVSROOT modules ports MOVED ports/math Makefile ports/math/cvcl Makefile distinfo pkg-descr pkg-plist ports/math/cvcl/files patch-configure

[Chin-San Huang]

chinsan     2007-07-28 16:41:28 UTC

  FreeBSD ports repository

  Modified files:
    .                    modules 
    .                    MOVED 
    math                 Makefile 
  Removed files:
    math/cvcl            Makefile distinfo pkg-descr pkg-plist 
    math/cvcl/files      patch-configure 
  Log:
  Remove deprecated port.
  CVC Lite is no longer supported. Please use CVC3 (math/cvc3) for all your
  validity checking needs.
  
  Approved by:    rafan (mentor, implicit), lwhsu (maintainer)
  
  2007-06-30 math/cvcl: CVC Lite is no longer supported. Please use CVC3 (math/cvc3) for all your validity checking needs!
  
  Revision  Changes    Path
  1.18427   +0 -1      CVSROOT/modules
  1.1436    +2 -1      ports/MOVED
  1.461     +0 -1      ports/math/Makefile
  1.5       +0 -39     ports/math/cvcl/Makefile (dead)
  1.2       +0 -3      ports/math/cvcl/distinfo (dead)
  1.2       +0 -11     ports/math/cvcl/files/patch-configure (dead)
  1.2       +0 -8      ports/math/cvcl/pkg-descr (dead)
  1.2       +0 -81     ports/math/cvcl/pkg-plist (dead)