@python/python3.10

Project ID: 35923

Build 2234767

General Information

Status:
succeeded - Successfully built.
Submitted:
2021-06-07 10:01 UTC (3 months ago)
Started:
2021-06-07 11:32 UTC (3 months ago)
Finished:
2021-06-07 11:47 UTC (3 months ago)
Build time:
15 minutes
Networking enabled:
False
Directory:
python3.10
Built by:
thrnciar

Source

Package:
clingo
Version:
5.4.1-2
Source Type:
Build from DistGit
Distgit:
fedora
Committish:
rawhide
Clone_Url:
https://src.fedoraproject.org/rpms/clingo.git

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz
Built Packages:
clingo 5.4.1
clingo-debuginfo 5.4.1
clingo-debugsource 5.4.1
clingo-devel 5.4.1
lua-clingo 5.4.1
lua-clingo-debuginfo 5.4.1
python3-clingo 5.4.1
python3-clingo-debuginfo 5.4.1
Chroot Name Dist Git Source Build Time Logs State
fedora-rawhide-x86_64 8cf1f29 15 minutes backend.log.gz , builder-live.log.gz succeeded