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)
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[EMAIL PROTECTED]"
