ports/103412: commit references a PR

[dfilter service]

The following reply was made to PR ports/103412; it has been noted by GNATS.

From: dfilter at FreeBSD.ORG (dfilter service)
To: bug-followup at FreeBSD.org
Cc:  
Subject: Re: ports/103412: commit references a PR
Date: Wed, 20 Sep 2006 01:42:09 +0000 (UTC)

 ijliao      2006-09-20 01:42:03 UTC
 
   FreeBSD ports repository
 
   Modified files:
     math                 Makefile 
   Added files:
     math/cvcl            Makefile distinfo pkg-descr pkg-plist 
   Log:
   add cvcl 2.5.1
   An automatic theorem prover for the SMT problem
   
   PR:             103412
   Submitted by:   Li-Wen Hsu <lwhsu at lwhsu.org>
   
   Revision  Changes    Path
   1.422     +1 -0      ports/math/Makefile
   1.1       +30 -0     ports/math/cvcl/Makefile (new)
   1.1       +3 -0      ports/math/cvcl/distinfo (new)
   1.1       +8 -0      ports/math/cvcl/pkg-descr (new)
   1.1       +81 -0     ports/math/cvcl/pkg-plist (new)
 _______________________________________________
 cvs-all at freebsd.org mailing list
 http://lists.freebsd.org/mailman/listinfo/cvs-all
 To unsubscribe, send any mail to "cvs-all-unsubscribe at freebsd.org"