Report created on Sun Apr 19 04:35:06 2015. 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

Overall Status

svn web lang/twelf
FreshPorts page lang/twelf
categories lang math
description Meta-logical framework for deductive systems
package name twelf-1.7.1
Distfile Survey page overall index

Active Problem Reports


Build And Package Status

build environment error logs packages
logname error type date latest package upload date
84amd64-default       twelf-1.7.1  
84i386-default       twelf-1.7.1  
93amd64-default       twelf-1.7.1  
93amd64-quarterly       twelf-1.7.1  
93i386-default       twelf-1.7.1  
93i386-quarterly       twelf-1.7.1  
101amd64-default       twelf-1.7.1  
101amd64-quarterly       twelf-1.7.1  
101i386-default       twelf-1.7.1  
101i386-quarterly       twelf-1.7.1  
head-amd64-default       twelf-1.7.1  
head-i386-default       twelf-1.7.1  
unique build errors: 0