Report created on Thu Oct 23 08:00:04 2014. back to main menu

NOTE: as of 20140601, GNATS has been deprecated. Until portsmon can catch up, expect the PR data to be stale.

Enter a category and portname to get information about a FreeBSD port:
(although partial match is OK, for more than 1 or 2 ports the report will become unwieldy)

Category:  Portname: 
Category/portname matching: exact  wildcard


Overall Status

svn web math/cvc3
FreshPorts page math/cvc3
categories math
description Automatic theorem prover for the SMT problem
package name cvc3-2.4.1
URL http://www.cs.nyu.edu/acsys/cvc3/
maintainer lwhsu@FreeBSD.org
Distfile Survey page overall index

Active Problem Reports

None.

Build And Package Status

build environment error logs packages
logname error type date latest package upload date
84amd64-default       cvc3-2.4.1  
84i386-default       cvc3-2.4.1  
91amd64-default       cvc3-2.4.1  
91amd64-quarterly       cvc3-2.4.1  
91i386-default       cvc3-2.4.1  
91i386-quarterly       cvc3-2.4.1  
93amd64-RELENG_9_3          
93i386-RELENG_9_3          
10amd64-default       cvc3-2.4.1  
10amd64-quarterly       cvc3-2.4.1  
10i386-default       cvc3-2.4.1  
10i386-quarterly       cvc3-2.4.1  
head-amd64-default       cvc3-2.4.1  
head-i386-default       cvc3-2.4.1  
unique build errors: 0


top