Report created on Fri May 29 02:11:36 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 math/hs-Agda
FreshPorts page math/hs-Agda
categories math haskell
description Dependently typed functional programming language and proof assistant
package name hs-Agda-2.4.0.2_1
URL http://wiki.portal.chalmers.se/agda/
maintainer haskell@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       hs-Agda-2.4.0.2_1  
84i386-default       hs-Agda-2.4.0.2_1  
93amd64-default       hs-Agda-2.4.0.2_1  
93amd64-quarterly       hs-Agda-2.4.0.2_1  
93i386-default       hs-Agda-2.4.0.2_1  
93i386-quarterly       hs-Agda-2.4.0.2_1  
101amd64-default       hs-Agda-2.4.0.2_1  
101amd64-quarterly       hs-Agda-2.4.0.2_1  
101i386-default       hs-Agda-2.4.0.2_1  
101i386-quarterly       hs-Agda-2.4.0.2_1  
head-amd64-default       hs-Agda-2.4.0.2_1  
head-armv6-default          
head-i386-default       hs-Agda-2.4.0.2_1  
head-mips-default          
head-mips64-default          
unique build errors: 0


top