Ubuntu
agda package

arm64 build of agda 2.5.2-2 in ubuntu artful PROPOSED

2.5.2-2
arm64 build

created on 2017-07-10

Build status

Successfully built on bos01-arm64-048

Started on 2017-07-10
Finished on 2017-07-11 (took 2 hours, 28 minutes, 5.9 seconds)
buildlog (39.2 KiB)
agda_2.5.2-2_arm64.changes (1.7 KiB)
agda_2.5.2-2_arm64.buildinfo (10.1 KiB)

Build details

Source:: agda - 2.5.2-2

Archive:: Primary Archive for Ubuntu

Series:: Artful

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.2-2_arm64.deb (7.7 MiB)
libghc-agda-dev_2.5.2-2_arm64.deb (19.0 MiB)