Date: Thu, 19 Jun 2008 01:52:26 +0000 (UTC) From: Li-Wen Hsu <lwhsu@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math Makefile ports/math/stp Makefile distinfo pkg-descr Message-ID: <200806190152.m5J1qQHm086766@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
lwhsu 2008-06-19 01:52:26 UTC
FreeBSD ports repository
Modified files:
math Makefile
Added files:
math/stp Makefile distinfo pkg-descr
Log:
Add stp , a Decision Procedure for Bitvectors and Arrays.
Revision Changes Path
1.480 +1 -0 ports/math/Makefile
1.1 +41 -0 ports/math/stp/Makefile (new)
1.1 +3 -0 ports/math/stp/distinfo (new)
1.1 +14 -0 ports/math/stp/pkg-descr (new)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200806190152.m5J1qQHm086766>