Date: Wed, 20 Sep 2006 01:42:03 +0000 (UTC) From: Ying-Chieh Liao <ijliao@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math Makefile ports/math/cvcl Makefile distinfo pkg-descr pkg-plist Message-ID: <200609200142.k8K1g3eg039817@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200609200142.k8K1g3eg039817>