Build agda 2.6.2.2-1.1 on arm64
ID: ae8a7b9a-0fb4-4565-bf88-4cf6173fafca
Created: 1 year, 9 months ago
Assigned: 1 year, 9 months ago
Finished: 1 year, 9 months ago
Worker: cumin
Status:
Done
Result
Failed
Details
Repository: pureos
Suite: landing
Maintainer: Debian Haskell Group <pkg-haskell-maintainers[at]lists.alioth.debian.org>
Version: 2.6.2.2-1.1
Architecture: arm64
View Full Log