Ubuntu
agda package

arm64 build of agda 2.5.1-2 in ubuntu yakkety PROPOSED

2.5.1-2
arm64 build

created on 2016-06-20

Build status

Successfully built on bos01-arm64-010

Started on 2016-06-20
Finished on 2016-06-21 (took 1 hour, 51 minutes, 48.7 seconds)
buildlog (53.9 KiB)
agda_2.5.1-2_arm64.changes (1.8 KiB)

Build details

Source:: agda - 2.5.1-2

Archive:: Primary Archive for Ubuntu

Series:: Yakkety

Architecture:: arm64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

agda-bin_2.5.1-2_arm64.deb (7.7 MiB)
libghc-agda-dev_2.5.1-2_arm64.deb (17.9 MiB)