[2026-04-10 23:15:42,213][ INFO][PID:3665973] Marking build as starting [2026-04-10 23:15:42,254][ INFO][PID:3665973] Checking that https://download.copr.fedorainfracloud.org/results/jjames/OCaml/fedora-rawhide-x86_64//repodata/repomd.xml exists [2026-04-10 23:15:42,815][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:15:42,816][ INFO][PID:3665973] VM allocation process starts [2026-04-10 23:15:42,824][ INFO][PID:3665973] Trying to allocate VM: ResallocHost, ticket_id=2271967, requested_tags=['copr_builder', 'arch_x86_64'] [2026-04-10 23:15:45,861][ INFO][PID:3665973] Allocated host ResallocHost, ticket_id=2271967, hostname=54.81.137.189, name=aws_x86_64_normalreserved_prod_05987739_20260410_230923, requested_tags=['copr_builder', 'arch_x86_64'] [2026-04-10 23:15:45,861][ INFO][PID:3665973] Allocating ssh connection to builder [2026-04-10 23:15:45,862][ INFO][PID:3665973] Checking that builder machine is OK [2026-04-10 23:15:46,216][ INFO][PID:3665973] Running remote command: copr-builder-ready fedora-rawhide-x86_64 [2026-04-10 23:15:46,421][ INFO][PID:3665973] Red Hat subscription not needed for fedora-rawhide-x86_64 Builder is ready to be used [2026-04-10 23:15:46,422][ INFO][PID:3665973] Filling build.info file with builder info [2026-04-10 23:15:46,422][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:15:46,423][ INFO][PID:3665973] Sending build state back to frontend: { "builds": [ { "timeout": 18000, "frontend_base_url": "https://copr.fedorainfracloud.org", "memory_reqs": 2048, "enable_net": false, "project_owner": "jjames", "project_name": "OCaml", "project_dirname": "OCaml", "submitter": "jjames", "ended_on": null, "started_on": 1775862946.4231465, "submitted_on": null, "status": 3, "chroot": "fedora-rawhide-x86_64", "arch": "x86_64", "buildroot_pkgs": [], "task_id": "10312987-fedora-rawhide-x86_64", "build_id": 10312987, "package_name": "gappalib-coq", "package_version": "1.8.0-2", "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/jjames/OCaml/gappalib-coq", "git_hash": "51d6e8a1a3aa42ac426180903fffe043d290b4ec", "git_branch": null, "source_type": null, "source_json": null, "pkg_name": null, "pkg_main_version": null, "pkg_epoch": null, "pkg_release": null, "srpm_url": null, "uses_devel_repo": false, "sandbox": "jjames/OCaml--jjames", "results": null, "appstream": false, "allow_user_ssh": false, "ssh_public_keys": null, "storage": 1, "repos": [ { "baseurl": "https://download.copr.fedorainfracloud.org/results/jjames/OCaml/fedora-rawhide-x86_64/", "id": "copr_base", "name": "Copr repository", "priority": null } ], "background": false, "fedora_review": false, "isolation": "default", "repo_priority": null, "tags": [ "arch_x86_64" ], "with_opts": [], "without_opts": [], "destdir": "/var/lib/copr/public_html/results/jjames/OCaml", "results_repo_url": "https://download.copr.fedorainfracloud.org/results/jjames/OCaml", "result_dir": "10312987-gappalib-coq", "built_packages": "", "id": 10312987, "mockchain_macros": { "copr_username": "jjames", "copr_projectname": "OCaml", "vendor": "Fedora Project COPR (jjames/OCaml)" } } ] } [2026-04-10 23:15:46,461][ INFO][PID:3665973] Sending fedora-messaging bus message in build.start [2026-04-10 23:15:46,959][ INFO][PID:3665973] Sending fedora-messaging bus message in chroot.start [2026-04-10 23:15:46,983][ INFO][PID:3665973] Starting remote build: copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/10312987-fedora-rawhide-x86_64 --chroot fedora-rawhide-x86_64 --detached [2026-04-10 23:15:47,332][ INFO][PID:3665973] The copr-rpmbuild seems started, per: stdout: stderr: Warning: Permanently added '54.81.137.189' (ED25519) to the list of known hosts. [2026-04-10 23:15:47,332][ INFO][PID:3665973] Downloading the builder-live.log file, attempt 1 [2026-04-10 23:15:47,334][ INFO][PID:3665973] Popen command started: ssh -F /home/copr/.ssh/config mockbuilder@54.81.137.189 copr-rpmbuild-log [2026-04-10 23:15:52,337][ INFO][PID:3665973] Periodic builder liveness probe: alive [2026-04-10 23:15:52,338][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:15:57,339][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:16:02,340][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:16:07,341][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:16:12,342][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:16:17,343][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:16:22,344][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:16:27,345][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:16:32,346][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:16:37,347][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:16:42,350][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:16:47,352][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:16:52,353][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:16:57,355][ INFO][PID:3665973] Checking for cancel request [2026-04-10 23:17:01,937][ INFO][PID:3665973] Downloading results from builder [2026-04-10 23:17:01,937][ INFO][PID:3665973] rsyncing of mockbuilder@54.81.137.189:/var/lib/copr-rpmbuild/results/ to /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq started [2026-04-10 23:17:01,939][ INFO][PID:3665973] Popen command started: /usr/bin/rsync -rltDvH --chmod=D755,F644 -e 'ssh -F /home/copr/.ssh/config' mockbuilder@54.81.137.189:/var/lib/copr-rpmbuild/results/ /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/ &> /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/build-10312987.rsync.log [2026-04-10 23:17:02,193][ INFO][PID:3665973] rsyncing finished. [2026-04-10 23:17:02,193][ INFO][PID:3665973] Releasing VM back to pool [2026-04-10 23:17:02,204][ INFO][PID:3665973] Searching for 'success' file in resultdir [2026-04-10 23:17:02,205][ INFO][PID:3665973] Going to sign pkgs from source: 10312987-fedora-rawhide-x86_64 in chroot: /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64 [2026-04-10 23:17:02,205][ INFO][PID:3665973] Calling '/bin/sign -u jjames#OCaml@copr.fedorahosted.org -p' (attempt #1) [2026-04-10 23:17:02,489][ INFO][PID:3665973] Calling '/bin/sign -4 -h sha256 -u jjames#OCaml@copr.fedorahosted.org -r /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-1.8.0-2.fc45.x86_64.rpm' (attempt #1) [2026-04-10 23:17:03,300][ INFO][PID:3665973] signed rpm: /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-1.8.0-2.fc45.x86_64.rpm [2026-04-10 23:17:03,301][ INFO][PID:3665973] Calling '/bin/sign -4 -h sha256 -u jjames#OCaml@copr.fedorahosted.org -r /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-debugsource-1.8.0-2.fc45.x86_64.rpm' (attempt #1) [2026-04-10 23:17:04,030][ INFO][PID:3665973] signed rpm: /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-debugsource-1.8.0-2.fc45.x86_64.rpm [2026-04-10 23:17:04,031][ INFO][PID:3665973] Calling '/bin/sign -4 -h sha256 -u jjames#OCaml@copr.fedorahosted.org -r /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-debuginfo-1.8.0-2.fc45.x86_64.rpm' (attempt #1) [2026-04-10 23:17:04,816][ INFO][PID:3665973] signed rpm: /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-debuginfo-1.8.0-2.fc45.x86_64.rpm [2026-04-10 23:17:04,817][ INFO][PID:3665973] Calling '/bin/sign -4 -h sha256 -u jjames#OCaml@copr.fedorahosted.org -r /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-source-1.8.0-2.fc45.x86_64.rpm' (attempt #1) [2026-04-10 23:17:05,557][ INFO][PID:3665973] signed rpm: /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-source-1.8.0-2.fc45.x86_64.rpm [2026-04-10 23:17:05,557][ INFO][PID:3665973] Calling '/bin/sign -4 -h sha256 -u jjames#OCaml@copr.fedorahosted.org -r /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-1.8.0-2.fc45.src.rpm' (attempt #1) [2026-04-10 23:17:06,327][ INFO][PID:3665973] signed rpm: /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-1.8.0-2.fc45.src.rpm [2026-04-10 23:17:06,328][ INFO][PID:3665973] Sign done [2026-04-10 23:17:06,329][ INFO][PID:3665973] Pulp: create_content: /api/v3/content/rpm/packages/upload/ /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-1.8.0-2.fc45.x86_64.rpm [2026-04-10 23:17:06,841][ INFO][PID:3665973] [1/5] Uploaded to Pulp: /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-1.8.0-2.fc45.x86_64.rpm [2026-04-10 23:17:06,841][ INFO][PID:3665973] Pulp: create_content: /api/v3/content/rpm/packages/upload/ /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-debugsource-1.8.0-2.fc45.x86_64.rpm [2026-04-10 23:17:07,206][ INFO][PID:3665973] [2/5] Uploaded to Pulp: /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-debugsource-1.8.0-2.fc45.x86_64.rpm [2026-04-10 23:17:07,207][ INFO][PID:3665973] Pulp: create_content: /api/v3/content/rpm/packages/upload/ /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-debuginfo-1.8.0-2.fc45.x86_64.rpm [2026-04-10 23:17:07,741][ INFO][PID:3665973] Pulp: create_content: /api/v3/content/rpm/packages/upload/ /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-source-1.8.0-2.fc45.x86_64.rpm [2026-04-10 23:17:07,742][ INFO][PID:3665973] [3/5] Uploaded to Pulp: /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-debuginfo-1.8.0-2.fc45.x86_64.rpm [2026-04-10 23:17:08,054][ INFO][PID:3665973] [4/5] Uploaded to Pulp: /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-source-1.8.0-2.fc45.x86_64.rpm [2026-04-10 23:17:08,055][ INFO][PID:3665973] Pulp: create_content: /api/v3/content/rpm/packages/upload/ /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-1.8.0-2.fc45.src.rpm [2026-04-10 23:17:08,413][ INFO][PID:3665973] [5/5] Uploaded to Pulp: /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-1.8.0-2.fc45.src.rpm [2026-04-10 23:17:08,423][ INFO][PID:3665973] Pulp: get_repository: /api/v3/repositories/rpm/rpm/?name=jjames%2FOCaml%2Ffedora-rawhide-x86_64&offset=0&limit=1 [2026-04-10 23:17:08,730][ INFO][PID:3665973] Pulp: polling task status: /api/pulp/public-copr/api/v3/tasks/019d79af-5bd7-76be-91dc-a86867600037/ [2026-04-10 23:17:08,731][ INFO][PID:3665973] Pulp: get_by_href: /api/pulp/public-copr/api/v3/tasks/019d79af-5bd7-76be-91dc-a86867600037/ [2026-04-10 23:17:13,881][ INFO][PID:3665973] Pulp: polling task status: /api/pulp/public-copr/api/v3/tasks/019d79af-5bd7-76be-91dc-a86867600037/ [2026-04-10 23:17:13,881][ INFO][PID:3665973] Pulp: get_by_href: /api/pulp/public-copr/api/v3/tasks/019d79af-5bd7-76be-91dc-a86867600037/ [2026-04-10 23:17:14,217][ INFO][PID:3665973] Successfully modified Pulp repository content /api/pulp/public-copr/api/v3/repositories/rpm/rpm/019d6eb6-8fe1-745c-bc91-11dbb3a8c6d2/ [2026-04-10 23:17:14,218][ INFO][PID:3665973] Pulp: publishing /api/v3/publications/rpm/rpm/ /api/pulp/public-copr/api/v3/repositories/rpm/rpm/019d6eb6-8fe1-745c-bc91-11dbb3a8c6d2/ [2026-04-10 23:17:14,392][ INFO][PID:3665973] Pulp: polling task status: /api/pulp/public-copr/api/v3/tasks/019d79af-71e2-737f-b218-f7488dffa30e/ [2026-04-10 23:17:14,392][ INFO][PID:3665973] Pulp: get_by_href: /api/pulp/public-copr/api/v3/tasks/019d79af-71e2-737f-b218-f7488dffa30e/ [2026-04-10 23:17:19,570][ INFO][PID:3665973] Pulp: polling task status: /api/pulp/public-copr/api/v3/tasks/019d79af-71e2-737f-b218-f7488dffa30e/ [2026-04-10 23:17:19,570][ INFO][PID:3665973] Pulp: get_by_href: /api/pulp/public-copr/api/v3/tasks/019d79af-71e2-737f-b218-f7488dffa30e/ [2026-04-10 23:17:19,869][ INFO][PID:3665973] Successfully created Pulp publication of repository /api/pulp/public-copr/api/v3/repositories/rpm/rpm/019d6eb6-8fe1-745c-bc91-11dbb3a8c6d2/ [2026-04-10 23:17:19,871][ INFO][PID:3665973] Pulp: add_content: /api/pulp/public-copr/api/v3/repositories/rpm/rpm/019d6eb6-8fe1-745c-bc91-11dbb3a8c6d2/ (['/api/pulp/public-copr/api/v3/content/rpm/packages/019d79af-544b-7a0b-aacf-0be113a05d81/', '/api/pulp/public-copr/api/v3/content/rpm/packages/019d79af-55a0-78eb-84de-b56a81fe7228/', '/api/pulp/public-copr/api/v3/content/rpm/packages/019d79af-57c3-7efe-b900-feef7e791b54/', '/api/pulp/public-copr/api/v3/content/rpm/packages/019d79af-5903-7337-bba0-3cdab5afc7a2/', '/api/pulp/public-copr/api/v3/content/rpm/packages/019d79af-5a5e-728b-b442-01814d5b243d/']) [2026-04-10 23:17:19,872][ INFO][PID:3665973] Getting build details [2026-04-10 23:17:19,872][ INFO][PID:3665973] Listing built binary packages in /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq [2026-04-10 23:17:19,872][ INFO][PID:3665973] Built packages: ['gappalib-coq-source 1.8.0', 'gappalib-coq-debuginfo 1.8.0', 'gappalib-coq-debugsource 1.8.0', 'gappalib-coq 1.8.0'] [2026-04-10 23:17:19,873][ INFO][PID:3665973] build details: {'built_packages': 'gappalib-coq-source 1.8.0\ngappalib-coq-debuginfo 1.8.0\ngappalib-coq-debugsource 1.8.0\ngappalib-coq 1.8.0'} [2026-04-10 23:17:19,873][ INFO][PID:3665973] Retrieving pubkey [2026-04-10 23:17:19,873][ INFO][PID:3665973] Calling '/bin/sign -u jjames#OCaml@copr.fedorahosted.org -p' (attempt #1) [2026-04-10 23:17:20,507][ INFO][PID:3665973] Added pubkey for user jjames project OCaml into: /var/lib/copr/public_html/results/jjames/OCaml/pubkey.gpg [2026-04-10 23:17:20,508][ INFO][PID:3665973] Removing /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-1.8.0-2.fc45.x86_64.rpm, it is stored in Pulp [2026-04-10 23:17:20,509][ INFO][PID:3665973] Removing /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-debugsource-1.8.0-2.fc45.x86_64.rpm, it is stored in Pulp [2026-04-10 23:17:20,509][ INFO][PID:3665973] Removing /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-debuginfo-1.8.0-2.fc45.x86_64.rpm, it is stored in Pulp [2026-04-10 23:17:20,510][ INFO][PID:3665973] Removing /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-source-1.8.0-2.fc45.x86_64.rpm, it is stored in Pulp [2026-04-10 23:17:20,510][ INFO][PID:3665973] Removing /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/gappalib-coq-1.8.0-2.fc45.src.rpm, it is stored in Pulp [2026-04-10 23:17:20,522][ INFO][PID:3665973] Finished build: id=10312987 failed=False timeout=18000 destdir=/var/lib/copr/public_html/results/jjames/OCaml chroot=fedora-rawhide-x86_64 [2026-04-10 23:17:20,523][ INFO][PID:3665973] Worker succeeded build, took 94.10081791877747 [2026-04-10 23:17:20,524][ INFO][PID:3665973] Sending build state back to frontend: { "builds": [ { "timeout": 18000, "frontend_base_url": "https://copr.fedorainfracloud.org", "memory_reqs": 2048, "enable_net": false, "project_owner": "jjames", "project_name": "OCaml", "project_dirname": "OCaml", "submitter": "jjames", "ended_on": 1775863040.5239644, "started_on": 1775862946.4231465, "submitted_on": null, "status": 1, "chroot": "fedora-rawhide-x86_64", "arch": "x86_64", "buildroot_pkgs": [], "task_id": "10312987-fedora-rawhide-x86_64", "build_id": 10312987, "package_name": "gappalib-coq", "package_version": "1.8.0-2", "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/jjames/OCaml/gappalib-coq", "git_hash": "51d6e8a1a3aa42ac426180903fffe043d290b4ec", "git_branch": null, "source_type": null, "source_json": null, "pkg_name": null, "pkg_main_version": null, "pkg_epoch": null, "pkg_release": null, "srpm_url": null, "uses_devel_repo": false, "sandbox": "jjames/OCaml--jjames", "results": { "packages": [ { "name": "gappalib-coq-source", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "x86_64" }, { "name": "gappalib-coq-debuginfo", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "x86_64" }, { "name": "gappalib-coq", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "src" }, { "name": "gappalib-coq-debugsource", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "x86_64" }, { "name": "gappalib-coq", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "x86_64" } ] }, "appstream": false, "allow_user_ssh": false, "ssh_public_keys": null, "storage": 1, "repos": [ { "baseurl": "https://download.copr.fedorainfracloud.org/results/jjames/OCaml/fedora-rawhide-x86_64/", "id": "copr_base", "name": "Copr repository", "priority": null } ], "background": false, "fedora_review": false, "isolation": "default", "repo_priority": null, "tags": [ "arch_x86_64" ], "with_opts": [], "without_opts": [], "destdir": "/var/lib/copr/public_html/results/jjames/OCaml", "results_repo_url": "https://download.copr.fedorainfracloud.org/results/jjames/OCaml", "result_dir": "10312987-gappalib-coq", "built_packages": "gappalib-coq-source 1.8.0\ngappalib-coq-debuginfo 1.8.0\ngappalib-coq-debugsource 1.8.0\ngappalib-coq 1.8.0", "id": 10312987, "mockchain_macros": { "copr_username": "jjames", "copr_projectname": "OCaml", "vendor": "Fedora Project COPR (jjames/OCaml)" } } ] } [2026-04-10 23:17:20,569][ INFO][PID:3665973] Sending fedora-messaging bus message in build.end [2026-04-10 23:17:20,595][ INFO][PID:3665973] Compressing /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/builder-live.log by gzip [2026-04-10 23:17:20,596][ INFO][PID:3665973] Running command 'gzip /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/builder-live.log' as PID 3670544 [2026-04-10 23:17:20,620][ INFO][PID:3665973] Finished after 0 seconds with exit code 0 (gzip /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/builder-live.log) [2026-04-10 23:17:20,621][ INFO][PID:3665973] Compressing /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/backend.log by gzip [2026-04-10 23:17:20,622][ INFO][PID:3665973] Running command 'gzip /var/lib/copr/public_html/results/jjames/OCaml/fedora-rawhide-x86_64/10312987-gappalib-coq/backend.log' as PID 3670546