[Build #24527732] arm64 build of agda 2.6.2.2-1build1 in ubuntu kinetic RELEASE [~ci-train-ppa-service/ubuntu/4933]

[Launchpad Buildd System]

 * Source Package: agda
 * Version: 2.6.2.2-1build1
 * Architecture: arm64
 * Archive: ~ci-train-ppa-service/ubuntu/4933
 * Component: main
 * State: Failed to build
 * Duration: 1 hour 30 minutes
 * Build Log: https://launchpad.net/~ci-train-ppa-service/+archive/ubuntu/4933/+build/24527732/+files/buildlog_ubuntu-kinetic-arm64.agda_2.6.2.2-1build1_BUILDING.txt.gz
 * Builder: https://launchpad.net/builders/bos02-arm64-073
 * Source: not available



If you want further information about this situation, feel free to
contact us by asking a question on Launchpad
(https://answers.launchpad.net/launchpad/+addquestion).

-- 
arm64 build of agda 2.6.2.2-1build1 in ubuntu kinetic RELEASE
https://launchpad.net/~ci-train-ppa-service/+archive/ubuntu/4933/+build/24527732

You are receiving this email because your team Ubuntu Landing PPAs is
the owner of this archive.