sbuild (Debian sbuild) 0.85.0 (04 January 2023) on mjolnir.einval.org

+==============================================================================+
| eprover 3.2.0+ds-1 (amd64)                   Sun, 23 Jun 2024 05:13:38 +0000 |
+==============================================================================+

Package: eprover
Version: 3.2.0+ds-1
Source Version: 3.2.0+ds-1
Distribution: unstable
Machine Architecture: arm64
Host Architecture: amd64
Build Architecture: arm64
Build Profiles: cross nocheck
Build Type: any


+------------------------------------------------------------------------------+
| Summary                                                                      |
+------------------------------------------------------------------------------+

Build Architecture: arm64
Build Profiles: cross nocheck
Build Type: any
Build-Space: 0
Build-Time: 0
Distribution: unstable
Fail-Stage: init
Host Architecture: amd64
Install-Time: 0
Job: eprover_3.2.0+ds-1
Machine Architecture: arm64
Package: eprover
Package-Time: 0
Source-Version: 3.2.0+ds-1
Space: 0
Status: failed
Version: 3.2.0+ds-1
--------------------------------------------------------------------------------
Finished at 2024-06-23T05:13:38Z
Build needed 00:00:00, 0k disk space