Ubuntu
agda package

powerpc build of agda 2.3.2-3 in ubuntu saucy PROPOSED

2.3.2-3
powerpc build

created on 2013-05-29

Build status

Successfully built on ross (powerpc)

Started on 2013-05-30
Finished on 2013-05-30 (took 18 minutes, 46.1 seconds)
buildlog (22.6 KiB)
agda_2.3.2-3_powerpc.changes (1.3 KiB)

Build details

Source:: agda - 2.3.2-3

Archive:: Primary Archive for Ubuntu

Series:: Saucy

Architecture:: powerpc

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

agda-bin_2.3.2-3_powerpc.deb (5.0 MiB)
libghc-agda-dev_2.3.2-3_powerpc.deb (14.8 MiB)