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-descr
SVNWeb

Number of commits found: 3

Mon, 23 May 2016
[ 18:36 amdmi3 search for other commits by this committer ] Original commit   Revision:415738 (Only the first 10 of 536 ports in this commit are shown above. View all ports for this commit)
Convert tab after WWW: in pkg-descrs to single space as per PHB

Approved by:	portmgr blanket
Thu, 19 May 2016
[ 10:44 amdmi3 search for other commits by this committer ] Original commit   Revision:415499 (Only the first 10 of 929 ports in this commit are shown above. View all ports for this commit)
- Fix trailing whitespace in pkg-descrs, categories [g-n]*

Approved by:	portmgr blanket
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: 3