Report created on Wed Aug 16 15:08:12 2017. 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 math/ltl2ba
FreshPorts page math/ltl2ba
categories math
description Fast translation from LTL formulae to Buechi automata
package name ltl2ba-1.1
URL http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/
maintainer ports@FreeBSD.org

Active Problem Reports

None.

Build And Package Status

build environment error logs packages
logname error type date latest package upload date
103amd64-default          
103amd64-quarterly          
103i386-default          
103i386-quarterly          
110amd64-default       ltl2ba-1.1  
110amd64-quarterly       ltl2ba-1.1  
110armv6-quarterly          
110i386-default       ltl2ba-1.1  
110i386-quarterly       ltl2ba-1.1  
110mips-quarterly          
head-amd64-default       ltl2ba-1.1  
head-armv6-default          
head-i386-default       ltl2ba-1.1  
head-mips-default          
head-mips64-default          
unique build errors: 0


top