Ubuntu
agda package

s390x build of agda 2.5.1.1-3 in ubuntu zesty PROPOSED

2.5.1.1-3
s390x build

created on 2016-11-13

Build status

Successfully built on z13-017

Started on 2016-11-13
Finished on 2016-11-13 (took 41 minutes, 10.3 seconds)
buildlog (37.9 KiB)
agda_2.5.1.1-3_s390x.changes (1.4 KiB)

Build details

Source:: agda - 2.5.1.1-3

Archive:: Primary Archive for Ubuntu

Series:: Zesty

Architecture:: s390x

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-3_s390x.deb (11.8 MiB)
libghc-agda-dev_2.5.1.1-3_s390x.deb (19.3 MiB)