Ubuntu
agda package

s390x build of agda 2.5.3-5 in ubuntu cosmic PROPOSED

2.5.3-5
s390x build

created on 2018-05-04

Build status

Successfully built on bos02-s390x-014

Started on 2018-05-20
Finished on 2018-05-20 (took 40 minutes, 20.1 seconds)
buildlog (44.1 KiB)
agda_2.5.3-5_s390x.changes (1.6 KiB)
agda_2.5.3-5_s390x.buildinfo (11.2 KiB)

Build details

Source:: agda - 2.5.3-5

Archive:: Primary Archive for Ubuntu

Series:: Cosmic

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.3-5_s390x.deb (12.6 MiB)
libghc-agda-dev_2.5.3-5_s390x.deb (23.5 MiB)