Build 9698857
General Information
Source
- Package:
- rocq-stdlib
- Version:
- 9.0.0-1
- Source Type:
- Build from an SCM repository
- SCM type:
- git
- Clone URL:
- https://gitlab.com/dvraaij/fedora-rocq-stdlib.git
- Committish:
- rawhide
- Build SRPM with:
- rpkg
Results
- Source state:
- succeeded
- Source build logs:
- builder-live.log.gz , backend.log.gz
- Built Packages:
- rocq-stdlib-source 9.0.0
- rocq-stdlib 9.0.0
| Chroot Name | Dist Git Source | Build Time | Logs | State |
|---|---|---|---|---|
| fedora-42-x86_64 | a8f009d | 3 minutes | builder-live.log.gz , backend.log.gz | succeeded |
| fedora-rawhide-x86_64 | a8f009d | 4 minutes | builder-live.log.gz , backend.log.gz | succeeded |