cvs commit: ports/math Makefile ports/math/cvcl Makefile distinfo
pkg-descr pkg-plist
Ying-Chieh Liao
ijliao at FreeBSD.org
Tue Sep 19 18:42:04 PDT 2006
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)
More information about the cvs-all
mailing list