Ubuntu

armhf build of agda 2.3.2-4 in ubuntu saucy RELEASE

Copy archive test-rebuild-20130614 for Matthias Klose
armhf build of agda 2.3.2-4

created on 2013-06-13

Build status

Dependency wait on cetan

Missing build dependencies: libghc-geniplate-dev
Started on 2013-06-15
Finished on 2013-06-15 (took 3 minutes, 10.7 seconds)
buildlog (2.5 KiB)

Build details

Source:: agda - 2.3.2-4

Archive:: Copy archive test-rebuild-20130614 for Matthias Klose

Series:: Saucy

Architecture:: armhf

Pocket:: Release

Component:: universe