Ubuntu
agda package

powerpc build of agda 2.5.1-1 in ubuntu yakkety PROPOSED

2.5.1-1
powerpc build

created on 2016-06-14

Build status

Successfully built on denneed03 (powerpc)

Started on 2016-06-17
Finished on 2016-06-17 (took 19 minutes, 34.0 seconds)
buildlog (41.3 KiB)
agda_2.5.1-1_powerpc.changes (2.4 KiB)

Build details

Source:: agda - 2.5.1-1

Archive:: Primary Archive for Ubuntu

Series:: Yakkety

Architecture:: powerpc

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

agda-bin_2.5.1-1_powerpc.deb (4.2 MiB)
libghc-agda-dev_2.5.1-1_powerpc.deb (11.4 MiB)