Ubuntu
agda package

ppc64el build of agda 2.4.2.5-1build1 in ubuntu xenial PROPOSED

2.4.2.5-1build1
ppc64el build

created on 2016-01-12

Build status

Successfully built on bos01-ppc64el-005

Started on 2016-01-12
Finished on 2016-01-12 (took 35 minutes, 53.0 seconds)
buildlog (35.8 KiB)
agda_2.4.2.5-1build1_ppc64el.changes (1.4 KiB)

Build details

Source:: agda - 2.4.2.5-1build1

Archive:: Primary Archive for Ubuntu

Series:: Xenial

Architecture:: ppc64el

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

agda-bin_2.4.2.5-1build1_ppc64el.deb (6.4 MiB)
libghc-agda-dev_2.4.2.5-1build1_ppc64el.deb (15.9 MiB)