Date: Wed, 20 Sep 2006 01:50:22 GMT From: dfilter@FreeBSD.ORG (dfilter service) To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/103412: commit references a PR Message-ID: <200609200150.k8K1oM64071834@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/103412; it has been noted by GNATS.
From: dfilter@FreeBSD.ORG (dfilter service)
To: bug-followup@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@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@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200609200150.k8K1oM64071834>