Ubuntu
agda package

arm64 build of agda 2.6.1-1build2.1 in ubuntu impish PROPOSED

2.6.1-1build2.1
arm64 build

created on 2021-09-16

Build status

Failed to build on bos02-arm64-073

Started on 2021-09-16
Finished on 2021-09-16 (took 1 hour, 52 minutes, 46.3 seconds)
buildlog (36.4 KiB)

Build details

Source:: agda - 2.6.1-1build2.1

Archive:: Primary Archive for Ubuntu

Series:: Impish

Architecture:: arm64

Pocket:: Proposed

Component:: universe