Ubuntu
agda-stdlib package

amd64 build of agda-stdlib 0.13-1 in ubuntu artful PROPOSED

0.13-1
amd64 build

created on 2017-07-07

Build status

Successfully built on lcy01-02

Started on 2017-07-10
Finished on 2017-07-10 (took 5 minutes, 54.8 seconds)
buildlog (35.1 KiB)
agda-stdlib_0.13-1_amd64.changes (1.6 KiB)
agda-stdlib_0.13-1_amd64.buildinfo (6.6 KiB)

Build details

Source:: agda-stdlib - 0.13-1

Archive:: Primary Archive for Ubuntu

Series:: Artful

Architecture:: amd64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

agda-stdlib-doc_0.13-1_all.deb (1.3 MiB)
agda-stdlib_0.13-1_all.deb (16.2 MiB)