Ubuntu
agda-stdlib package

amd64 build of agda-stdlib 1.1-1 in ubuntu eoan PROPOSED

1.1-1
amd64 build

created on 2019-09-06

Build status

Successfully built on lgw01-amd64-033

Started on 2019-09-06
Finished on 2019-09-06 (took 13 minutes, 39.6 seconds)
buildlog (44.5 KiB)
agda-stdlib_1.1-1_amd64.changes (1.5 KiB)
agda-stdlib_1.1-1_amd64.buildinfo (7.1 KiB)

Build details

Source:: agda-stdlib - 1.1-1

Archive:: Primary Archive for Ubuntu

Series:: Eoan

Architecture:: amd64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

agda-stdlib-doc_1.1-1_all.deb (1.8 MiB)
agda-stdlib_1.1-1_all.deb (45.2 MiB)