Report created on Mon Nov 23 17:51:46 2009. back to main menu

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

Error: could not connect to the database:

[Errno 9] Bad file descriptor

Overall Status

CVSweb page math/coq
FreshPorts page math/coq
categories math
description Theorem prover based on lambda-C
package name coq-8.2.1_1
URL http://coq.inria.fr/
maintainer johans@stack.nl
Distfile Survey page math/coq

Active Problem Reports

Problem Reports state responsible
84819: [MAINTAINER] math/coq: enable on ia64 suspended stas
total: 1

Build And Package Status

build environment error logs packages
logname error type date latest package upload date
amd64-6-full          
amd64-6-latest      
amd64-7-full          
amd64-7-latest      
amd64-8-full          
amd64-8-latest      
i386-6-full          
i386-6-latest      
i386-7-full          
i386-7-latest      
i386-8-full          
i386-8-latest      
sparc64-6-full          
sparc64-6-latest      
sparc64-7-full          
sparc64-7-latest      
sparc64-8-full          
sparc64-8-latest      
unique build errors: 0

Package legend: failed to build ok but out-of-date ok and up-to-date

top