Ubuntu
agda package

i386 build of agda 2.5.2-2 in ubuntu artful PROPOSED

2.5.2-2
i386 build

created on 2017-07-10

Build status

Successfully built on lcy01-36

Started on 2017-07-10
Finished on 2017-07-10 (took 15 minutes, 19.8 seconds)
buildlog (38.7 KiB)
agda_2.5.2-2_i386.changes (1.7 KiB)
agda_2.5.2-2_i386.buildinfo (10.0 KiB)

Build details

Source:: agda - 2.5.2-2

Archive:: Primary Archive for Ubuntu

Series:: Artful

Architecture:: i386

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_i386.deb (4.8 MiB)
libghc-agda-dev_2.5.2-2_i386.deb (12.5 MiB)