Warning! Fedora moves to a new datacenter, which may result in some instabilities in Copr. The expected outage is expected to happen from 30th June to 4th July. For more information please refer to this ticket.

jjames/OCaml

Project ID: 184188

Build 9228093

General Information

Status:: succeeded - Successfully built.
Submitted:: 2025-06-30 22:24 UTC (a day ago)
Started:: 2025-06-30 22:25 UTC (a day ago)
Finished:: 2025-06-30 22:38 UTC (a day ago)
Build time:: 12 minutes
Build timeout:: 5 hours
Networking enabled:: False
Directory:: OCaml
Built by:: jjames

Source

Package:: coq
Version:: 8.20.1-2
Source Type:: SRPM or .spec file upload
File Name:: coq-8.20.1-2.fc43.src.rpm

Results

Source state:: succeeded
Source build logs:: builder-live.log.gz , backend.log.gz , import.log
Built Packages:: coq-coqide 8.20.1; coq-coqide-server-debuginfo 8.20.1; coq-core-debuginfo 8.20.1; coq-debuginfo 8.20.1; coq-coqide-debuginfo 8.20.1; coq-core 8.20.1; coq-coqide-server 8.20.1; coq-debugsource 8.20.1; coq 8.20.1

Chroot Name	Dist Git Source	Build Time	Logs	State
fedora-rawhide-x86_64	5f09236	12 minutes	builder-live.log.gz , backend.log.gz	succeeded