Tue, 02 Jun 2020 12:29:50 UTC

Information for task buildArch (why3-1.3.1-2.fc32.src.rpm, aarch64)

ID42825163
MethodbuildArch
Parameters SRPM: tasks/5099/42825099/why3-1.3.1-2.fc32.src.rpm
Build Tag: f32-build
Arch: aarch64
Keep SRPM? no
Options:
  repo_id = 1419319
State closed
CreatedSat, 28 Mar 2020 14:23:47 UTC
StartedSat, 28 Mar 2020 14:23:56 UTC
CompletedSat, 28 Mar 2020 14:38:29 UTC
Total time 0:14:42
Task time 0:14:32
Owner jjames
Channel default
Host buildvm-aarch64-13.arm.fedoraproject.org
Archaarch64
Buildroot /var/lib/mock/f32-build-20022737-1419319
Parent build (f32-candidate, /rpms/why3.git:1afbf9d426087420293c17044c9e1db782ecaee2)
Descendants
Waiting?no
Awaited?no
Priority19
Weight2.36
Result
brootid = 20022737
srpms =
rpms = tasks/5163/42825163/ocaml-why3-1.3.1-2.fc32.aarch64.rpm, tasks/5163/42825163/why3-examples-1.3.1-2.fc32.noarch.rpm, tasks/5163/42825163/why3-proofgeneral-1.3.1-2.fc32.noarch.rpm, tasks/5163/42825163/why3-emacs-1.3.1-2.fc32.noarch.rpm, tasks/5163/42825163/why3-debugsource-1.3.1-2.fc32.aarch64.rpm, tasks/5163/42825163/ocaml-why3-debuginfo-1.3.1-2.fc32.aarch64.rpm, tasks/ ...
brootid = 20022737
srpms =
rpms = tasks/5163/42825163/ocaml-why3-1.3.1-2.fc32.aarch64.rpm, tasks/5163/42825163/why3-examples-1.3.1-2.fc32.noarch.rpm, tasks/5163/42825163/why3-proofgeneral-1.3.1-2.fc32.noarch.rpm, tasks/5163/42825163/why3-emacs-1.3.1-2.fc32.noarch.rpm, tasks/5163/42825163/why3-debugsource-1.3.1-2.fc32.aarch64.rpm, tasks/5163/42825163/ocaml-why3-debuginfo-1.3.1-2.fc32.aarch64.rpm, tasks/5163/42825163/why3-1.3.1-2.fc32.aarch64.rpm, tasks/5163/42825163/why3-all-1.3.1-2.fc32.aarch64.rpm, tasks/5163/42825163/why3-xemacs-1.3.1-2.fc32.noarch.rpm, tasks/5163/42825163/why3-debuginfo-1.3.1-2.fc32.aarch64.rpm, tasks/5163/42825163/ocaml-why3-devel-1.3.1-2.fc32.aarch64.rpm
logs = tasks/5163/42825163/root.log, tasks/5163/42825163/hw_info.log, tasks/5163/42825163/state.log, tasks/5163/42825163/build.log, tasks/5163/42825163/mock_output.log, tasks/5163/42825163/noarch_rpmdiff.json
Output