Ubuntu
agda package

ppc64el build of agda 2.5.2-2 in ubuntu artful PROPOSED

2.5.2-2
ppc64el build

created on 2017-07-10

Build status

Successfully built on bos01-ppc64el-024

Started on 2017-07-10
Finished on 2017-07-10 (took 19 minutes, 54.6 seconds)
buildlog (38.8 KiB)
agda_2.5.2-2_ppc64el.changes (1.7 KiB)
agda_2.5.2-2_ppc64el.buildinfo (9.9 KiB)

Build details

Source:: agda - 2.5.2-2

Archive:: Primary Archive for Ubuntu

Series:: Artful

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.2-2_ppc64el.deb (5.7 MiB)
libghc-agda-dev_2.5.2-2_ppc64el.deb (17.0 MiB)