Ubuntu
agda package

arm64 build of agda 2.3.2.1-1 in ubuntu saucy RELEASE

2.3.2.1-1
arm64 build

created on 2013-09-12

Build status

Dependency wait on twombly (arm64)

Missing build dependencies: alex
Started on 2013-10-10
Finished on 2013-10-10 (took 46.4 seconds)
buildlog (3.2 KiB)

Build details

Source:: agda - 2.3.2.1-1

Archive:: Primary Archive for Ubuntu

Series:: Saucy

Architecture:: arm64

Pocket:: Release

Component:: universe