Report created on Thu Jul 29 19:35:03 2010. 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

CVSweb page math/isabelle
FreshPorts page math/isabelle
categories math
description A generic proof assistant
package name isabelle-2009_2
URL http://isabelle.in.tum.de
maintainer beyert@cs.ucr.edu
Distfile Survey page math/isabelle

Active Problem Reports

None.

Build Status

build environment build logs
logname error type date
amd64-6-full      
amd64-6-latest      
amd64-7-full      
amd64-7-latest      
amd64-8-full      
amd64-8-latest      
amd64-9-latest      
i386-6-full      
i386-6-latest      
i386-7-full      
i386-7-latest isabelle-2009_2 runaway_process _Jul_27_00:47:25_UTC_2010
i386-8-full      
i386-8-latest      
i386-9-full      
i386-9-latest      
ia64-7-full      
ia64-7-latest      
ia64-8-full      
ia64-8-latest      
powerpc-8-full      
powerpc-8-latest      
sparc64-6-full      
sparc64-6-latest      
sparc64-7-full      
sparc64-7-latest      
sparc64-8-full      
sparc64-8-latest      
unique build errors: 1

top