Build 9782380
General Information
Source
- Package:
- rocq
- Version:
- 9.1.0-1
- Source Type:
- Build from an SCM repository
- SCM type:
- git
- Clone URL:
- https://src.fedoraproject.org/forks/dvraaij/rpms/coq.git
- Committish:
- update-rocq-9.1.0
- Build SRPM with:
- rpkg
Results
- Source state:
- succeeded
- Source build logs:
- builder-live.log.gz , backend.log.gz , import.log
- Built Packages:
- rocq-coqide-server-debuginfo 9.1.0
- rocq-runtime-debuginfo 9.1.0
- rocq-doc 9.1.0
- coq-core-compat 9.1.0
- rocq-core 9.1.0
- rocq 9.1.0
- coq-core-compat-debuginfo 9.1.0
- rocq-rocqide 9.1.0
- rocq-runtime 9.1.0
- rocq-debuginfo 9.1.0
- rocq-debugsource 9.1.0
- rocq-rocqide-debuginfo 9.1.0
- rocq-runtime-devel 9.1.0
- rocq-core-source 9.1.0
- rocq-coqide-server-devel 9.1.0
- rocq-coqide-server 9.1.0
| Chroot Name | Dist Git Source | Build Time | Logs | State |
|---|---|---|---|---|
| fedora-43-x86_64 | 0667063 | 12 minutes | builder-live.log.gz , backend.log.gz | succeeded |
| fedora-rawhide-x86_64 | 0667063 | 15 minutes | builder-live.log.gz , backend.log.gz | succeeded |