Ubuntu
agda package

amd64 build of agda 2.3.2.1-1 in ubuntu saucy PROPOSED

2.3.2.1-1
amd64 build

created on 2013-06-16

Build status

Successfully built on roseapple (i386/amd64)

Started on 2013-06-16
Finished on 2013-06-16 (took 10 minutes, 45.6 seconds)
buildlog (21.6 KiB)
agda_2.3.2.1-1_amd64.changes (1.5 KiB)

Build details

Source:: agda - 2.3.2.1-1

Archive:: Primary Archive for Ubuntu

Series:: Saucy

Architecture:: amd64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

agda-bin_2.3.2.1-1_amd64.deb (5.1 MiB)
libghc-agda-dev_2.3.2.1-1_amd64.deb (12.9 MiB)