notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
FreshPorts needs to find a new hosting provide willing to take a 2U chassis and host it free of charge. This is part of the FreshPorts project. Preferably in the Austin area. This is not a primary server, but it used for development.
non port: math/cvc3/distinfo
SVNWeb

Number of commits found: 4

Sat, 4 Feb 2012
[ 14:37 lwhsu search for other commits by this committer ] Original commit 
- Update to 2.4.1
Sun, 20 Mar 2011
[ 12:54 miwi search for other commits by this committer ] Original commit  (Only the first 10 of 3505 ports in this commit are shown above. View all ports for this commit)
- Get Rid MD5 support
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