notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
non port: math/cvc3/pkg-plist
SVNWeb

Number of commits found: 4

Thu, 13 Nov 2014
[ 23:24 antoine search for other commits by this committer ] Original commit   Revision:372546 (Only the first 10 of 55 ports in this commit are shown above. View all ports for this commit)
Cleanup plist
Sat, 4 Feb 2012
[ 14:37 lwhsu search for other commits by this committer ] Original commit 
- Update to 2.4.1
Fri, 7 Sep 2007
[ 22:54 lwhsu search for other commits by this committer ] Original commit 
- Update to 1.2.1
Sun, 25 Mar 2007
[ 04:04 clsung search for other commits by this committer ] Original commit 
Add cvc3 1.0, an automatic theorem prover for the SMT problem.

PR:             ports/110770
Submitted by:   Li-Wen Hsu <lwhsu at lwhsu.org>

Number of commits found: 4