Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
amd64 build of agda-stdlib 0.9-1 in ubuntu xenial RELEASE
Copy archive test-rebuild-20151218.1-gcc6 for Matthias Klose
amd64 build of agda-stdlib 0.9-1
created
on 2015-12-18
Build status
Failed to build
on
lgw01-14
Started
on 2016-01-10
Finished
on 2016-01-10
(took 7 minutes, 51.8 seconds)
buildlog
(20.1 KiB)
Build details
Source:
agda-stdlib - 0.9-1
Archive:
Copy archive test-rebuild-20151218.1-gcc6 for Matthias Klose
Series:
Xenial
Architecture:
amd64
Pocket:
Release
Component:
universe