Ubuntu

amd64 build of agda-stdlib 0.17-1 in ubuntu eoan RELEASE

Copy archive test-rebuild-20190614-gcc9 for Matthias Klose
amd64 build of agda-stdlib 0.17-1

created on 2019-06-14

Build status

Successfully built on lgw01-amd64-043

Started on 2019-06-17
Finished on 2019-06-17 (took 9 minutes, 35.0 seconds)
buildlog (41.3 KiB)
agda-stdlib_0.17-1_amd64.changes (1.6 KiB)
agda-stdlib_0.17-1_amd64.buildinfo (6.6 KiB)

Build details

Source:: agda-stdlib - 0.17-1

Archive:: Copy archive test-rebuild-20190614-gcc9 for Matthias Klose

Series:: Eoan

Architecture:: amd64

Pocket:: Release

Component:: universe

Binary packages

Binary packages awaiting publication:

agda-stdlib-0.17-1
agda-stdlib-doc-0.17-1

Built files

Files resulting from this build: