Ubuntu
agda package

armhf build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED

2.5.1.1-3build3
armhf build

created on 2017-01-27

Build status

Successfully built on bos01-arm64-036

Started on 2017-01-27
Finished on 2017-01-27 (took 2 hours, 22 minutes, 2.4 seconds)
buildlog (40.4 KiB)
agda_2.5.1.1-3build3_armhf.changes (1.6 KiB)

Build details

Source:: agda - 2.5.1.1-3build3

Archive:: Primary Archive for Ubuntu

Series:: Zesty

Architecture:: armhf

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-3build3_armhf.deb (6.4 MiB)
libghc-agda-dev_2.5.1.1-3build3_armhf.deb (15.4 MiB)