Ubuntu
agda package

i386 build of agda 2.4.0.2-2build1 in ubuntu vivid PROPOSED

2.4.0.2-2build1
i386 build

created on 2014-10-29

Build status

Successfully built on toyol (i386/amd64)

Started on 2014-10-29
Finished on 2014-10-29 (took 7 minutes, 3.1 seconds)
buildlog (26.1 KiB)
agda_2.4.0.2-2build1_i386.changes (1.4 KiB)

Build details

Source:: agda - 2.4.0.2-2build1

Archive:: Primary Archive for Ubuntu

Series:: Vivid

Architecture:: i386

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

agda-bin_2.4.0.2-2build1_i386.deb (3.6 MiB)
libghc-agda-dev_2.4.0.2-2build1_i386.deb (9.2 MiB)