Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
arm64 build of agda 2.6.1-1build1 in ubuntu groovy RELEASE
Copy archive test-rebuild-20200925-groovy for Matthias Klose
arm64 build of agda 2.6.1-1build1
created
on 2020-09-25
Build status
Failed to build
Started
on 2020-10-05
Finished
on 2020-10-05
(took 5 hours, 25 minutes, 48.7 seconds)
Build details
Source:
agda - 2.6.1-1build1
Archive:
Copy archive test-rebuild-20200925-groovy for Matthias Klose
Series:
Groovy
Architecture:
arm64
Pocket:
Release
Component:
universe