Ubuntu
agda package

ppc64el build of agda 2.5.1-2build1 in ubuntu yakkety PROPOSED

2.5.1-2build1
ppc64el build

created on 2016-07-15

Build status

Successfully built on bos01-ppc64el-006

Started on 2016-07-15
Finished on 2016-07-15 (took 40 minutes, 7.2 seconds)
buildlog (42.7 KiB)
agda_2.5.1-2build1_ppc64el.changes (1.6 KiB)

Build details

Source:: agda - 2.5.1-2build1

Archive:: Primary Archive for Ubuntu

Series:: Yakkety

Architecture:: ppc64el

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

agda-bin_2.5.1-2build1_ppc64el.deb (6.6 MiB)
libghc-agda-dev_2.5.1-2build1_ppc64el.deb (17.9 MiB)