clingo

Package information

State
ok

Scheduler parameters

Tracked by Koschei
True
Current priority
1418
Manual priority
0
Static priority
0
Arch override
None
Skip resolution
False

Configure scheduling

Tracked by Koschei
Manual priority
Skip resolution
Arch override
Cancel

Dependency changes since last build

libuv
1:1.49.0-1.fc42
1:1.49.1-1.fc42
2
glibc
2.40.9000-6.fc42
2.40.9000-7.fc42
2
glibc-minimal-langpack
2.40.9000-6.fc42
2.40.9000-7.fc42
3
vim-filesystem
2:9.1.737-1.fc42
2:9.1.785-1.fc42
3
glibc-gconv-extra
2.40.9000-6.fc42
2.40.9000-7.fc42
3
glibc-common
2.40.9000-6.fc42
2.40.9000-7.fc42
3
xz-libs
1:5.6.3-1.fc42
1:5.6.3-2.fc42
3
glibc-devel
2.40.9000-6.fc42
2.40.9000-7.fc42
3
glibc-headers-x86
2.40.9000-6.fc42
2.40.9000-7.fc42
4
gdb-minimal
15.1-2.fc42
15.2-1.fc42
4
crypto-policies
20240927-1.git93b7251....
20241010-1.git8baf557....
4
xz
1:5.6.3-1.fc42
1:5.6.3-2.fc42
4
build-reproducibility-srpm-macros
0.3.6-1.fc41
0.4.1-1.fc42
B
qt6-srpm-macros
6.7.2-3.fc41
6.8.0-1.fc42
B
info
7.1.1-1.fc42
7.1.1-2.fc42
B
add-determinism
0.3.6-1.fc41
0.4.1-1.fc42
B
systemd-libs
256.5-1.fc42
256.7-1.fc42
B

Groups

This package is not part of any global group.

Most recent builds

python3
3.13.0~rc2-3.fc42
3.13.0-1.fc42
1
python3-devel
3.13.0~rc2-3.fc42
3.13.0-1.fc42
1
make
1:4.4.1-8.fc41
1:4.4.1-9.fc42
1
python3-libs
3.13.0~rc2-3.fc42
3.13.0-1.fc42
2
glibc
2.40.9000-1.fc42
2.40.9000-6.fc42
2
pyproject-rpm-macros
1.15.0-1.fc42
1.15.1-1.fc42
2
glibc-devel
2.40.9000-1.fc42
2.40.9000-6.fc42
3
glibc-gconv-extra
2.40.9000-1.fc42
2.40.9000-6.fc42
3
xz-libs
1:5.6.2-2.fc41
1:5.6.3-1.fc42
3
glibc-common
2.40.9000-1.fc42
2.40.9000-6.fc42
3
glibc-minimal-langpack
2.40.9000-1.fc42
2.40.9000-6.fc42
3
pyproject-srpm-macros
1.15.0-1.fc42
1.15.1-1.fc42
3
rpm
4.19.94-1.fc42
4.20.0-1.fc42
3
rpm-build
4.19.94-1.fc42
4.20.0-1.fc42
3
shadow-utils
2:4.16.0-4.fc42
2:4.16.0-5.fc42
4
rpm-build-libs
4.19.94-1.fc42
4.20.0-1.fc42
4
glibc-headers-x86
2.40.9000-1.fc42
2.40.9000-6.fc42
4
debugedit
5.0-17.fc41
5.0-18.fc42
4
rpm-libs
4.19.94-1.fc42
4.20.0-1.fc42
4
xz
1:5.6.2-2.fc41
1:5.6.3-1.fc42
4
authselect
1.5.0-7.fc41
1.5.0-8.fc42
B
xxhash-libs
0.8.2-3.fc41
0.8.2-4.fc42
B
fedora-release-identity-basic
42-0.3
42-0.4
B
authselect-libs
1.5.0-7.fc41
1.5.0-8.fc42
B
p11-kit
0.25.5-3.fc41
0.25.5-4.fc42
B
fedora-release-common
42-0.3
42-0.4
B
fedora-release
42-0.3
42-0.4
B
dwz
0.15-7.fc41
0.15-8.fc42
B
p11-kit-trust
0.25.5-3.fc41
0.25.5-4.fc42
B
gcc-c++
14.2.1-3.fc42
14.2.1-4.fc42
1
libarchive
3.7.4-3.fc41
3.7.6-1.fc42
2
libgcc
14.2.1-3.fc42
14.2.1-4.fc42
2
gcc
14.2.1-3.fc42
14.2.1-4.fc42
2
libuv
1:1.48.0-2.fc41
1:1.49.0-1.fc42
2
libcurl
8.10.1-1.fc42
8.10.1-2.fc42
2
pyproject-rpm-macros
1.14.0-1.fc41
1.15.0-1.fc42
2
libstdc++
14.2.1-3.fc42
14.2.1-4.fc42
2
libstdc++-devel
14.2.1-3.fc42
14.2.1-4.fc42
2
cpp
14.2.1-3.fc42
14.2.1-4.fc42
3
libgomp
14.2.1-3.fc42
14.2.1-4.fc42
3
pyproject-srpm-macros
1.14.0-1.fc41
1.15.0-1.fc42
3
vim-filesystem
2:9.1.719-1.fc42
2:9.1.737-1.fc42
3
coreutils
9.5-9.fc42
9.5-10.fc42
4
curl
8.10.1-1.fc42
8.10.1-2.fc42
4
redhat-rpm-config
295-1.fc42
296-1.fc42
4
crypto-policies
20240828-1.git5f66e81....
20240927-1.git93b7251....
4
ca-certificates
2024.2.68_v8.0.302-3.fc41
2024.2.69_v8.0.401-2.fc42
4
forge-srpm-macros
0.3.2-1.fc41
0.4.0-1.fc42
B
coreutils-common
9.5-9.fc42
9.5-10.fc42
B
gcc-plugin-annobin
14.2.1-3.fc42
14.2.1-4.fc42
B
python3
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
1
gcc-c++
14.2.1-2.fc42
14.2.1-3.fc42
1
python3-devel
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
1
python3-libs
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
2
gcc
14.2.1-2.fc42
14.2.1-3.fc42
2
libstdc++-devel
14.2.1-2.fc42
14.2.1-3.fc42
2
libgcc
14.2.1-2.fc42
14.2.1-3.fc42
2
libcurl
8.10.0-1.fc42
8.10.1-1.fc42
2
libstdc++
14.2.1-2.fc42
14.2.1-3.fc42
2
python-pip-wheel
24.2-1.fc41
24.2-2.fc42
3
filesystem
3.18-23.fc41
3.18-29.fc42
3
libgomp
14.2.1-2.fc42
14.2.1-3.fc42
3
cpp
14.2.1-2.fc42
14.2.1-3.fc42
3
shadow-utils
2:4.16.0-2.fc42
2:4.16.0-4.fc42
4
kernel-headers
6.11.0-0.rc7.56.fc42
6.11.0-63.fc42
4
curl
8.10.0-1.fc42
8.10.1-1.fc42
4
ghc-srpm-macros
1.9.1-2.fc41
1.9.2-1.fc42
B
gcc-plugin-annobin
14.2.1-2.fc42
14.2.1-3.fc42
B
fedora-repos-rawhide
42-0.1
42-0.2
B
fedora-gpg-keys
42-0.1
42-0.2
B
fedora-repos
42-0.1
42-0.2
B
python3-devel
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
1
python3
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
1
libcurl
8.9.1-3.fc42
8.10.0-1.fc42
2
python3-libs
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
2
zlib-ng-compat
2.1.7-2.fc41
2.1.7-3.fc42
2
rpm
4.19.93-1.fc42
4.19.94-1.fc42
3
rpm-build
4.19.93-1.fc42
4.19.94-1.fc42
3
openssl-libs
1:3.2.2-5.fc41
1:3.2.2-8.fc42
3
shadow-utils
2:4.15.1-9.fc41
2:4.16.0-2.fc42
4
gdb-minimal
15.1-1.fc41
15.1-2.fc42
4
libselinux
3.7-5.fc41
3.7-6.fc42
4
kernel-headers
6.11.0-0.rc6.49.fc42
6.11.0-0.rc7.56.fc42
4
curl
8.9.1-3.fc42
8.10.0-1.fc42
4
rpm-build-libs
4.19.93-1.fc42
4.19.94-1.fc42
4
rpm-libs
4.19.93-1.fc42
4.19.94-1.fc42
4
libsemanage
3.7-2.fc41
3.7-3.fc42
B
libsepol
3.7-2.fc41
3.7-3.fc42
B
info
7.1-3.fc41
7.1.1-1.fc42
B
gcc-c++
14.2.1-1.fc42
14.2.1-2.fc42
1
python3-cffi
1.17.0-1.fc41
1.17.1-1.fc42
1
libstdc++
14.2.1-1.fc42
14.2.1-2.fc42
2
expat
2.6.2-2.fc41
2.6.3-1.fc42
2
libgcc
14.2.1-1.fc42
14.2.1-2.fc42
2
gcc
14.2.1-1.fc42
14.2.1-2.fc42
2
glibc
2.40-3.fc41
2.40.9000-1.fc42
2
libstdc++-devel
14.2.1-1.fc42
14.2.1-2.fc42
2
bash
5.2.32-1.fc41
5.2.32-2.fc42
2
cpp
14.2.1-1.fc42
14.2.1-2.fc42
3
glibc-common
2.40-3.fc41
2.40.9000-1.fc42
3
glibc-devel
2.40-3.fc41
2.40.9000-1.fc42
3
vim-filesystem
2:9.1.703-1.fc42
2:9.1.719-1.fc42
3
libgomp
14.2.1-1.fc42
14.2.1-2.fc42
3
readline
8.2-10.fc41
8.2-11.fc42
3
libuuid
2.40.2-6.fc42
2.40.2-8.fc42
3
rpm-build
4.19.92-6.fc41
4.19.93-1.fc42
3
rpm
4.19.92-6.fc41
4.19.93-1.fc42
3
glibc-minimal-langpack
2.40-3.fc41
2.40.9000-1.fc42
3
glibc-gconv-extra
2.40-3.fc41
2.40.9000-1.fc42
3
rpm-build-libs
4.19.92-6.fc41
4.19.93-1.fc42
4
redhat-rpm-config
294-1.fc42
295-1.fc42
4
kernel-headers
6.11.0-0.rc5.43.fc42
6.11.0-0.rc6.49.fc42
4
glibc-headers-x86
2.40-3.fc41
2.40.9000-1.fc42
4
rpm-libs
4.19.92-6.fc41
4.19.93-1.fc42
4
qt5-srpm-macros
5.15.14-3.fc41
5.15.15-1.fc42
B
gcc-plugin-annobin
14.2.1-1.fc42
14.2.1-2.fc42
B
pam-libs
1.6.1-5.fc41
1.6.1-6.fc42
B
libblkid
2.40.2-6.fc42
2.40.2-8.fc42
B
libsmartcols
2.40.2-6.fc42
2.40.2-8.fc42
B
libmount
2.40.2-6.fc42
2.40.2-8.fc42
B
util-linux-core
2.40.2-6.fc42
2.40.2-8.fc42
B
libutempter
1.2.1-15.fc41
pam
1.6.1-5.fc41
1.6.1-6.fc42
B
libfdisk
2.40.2-6.fc42
2.40.2-8.fc42
B
util-linux
2.40.2-6.fc42
2.40.2-8.fc42
B
python3-devel
3.13.0~rc1-2.fc41
3.13.0~rc1-3.fc42
1
python3
3.13.0~rc1-2.fc41
3.13.0~rc1-3.fc42
1
libcurl
8.9.1-2.fc41
8.9.1-3.fc42
2
python3-libs
3.13.0~rc1-2.fc41
3.13.0~rc1-3.fc42
2
libssh
0.10.6-8.fc41
0.11.1-1.fc42
3
vim-filesystem
2:9.1.660-2.fc41
2:9.1.703-1.fc42
3
libnghttp2
1.62.1-2.fc41
1.63.0-1.fc42
3
crypto-policies
20240822-1.git64c9381....
20240828-1.git5f66e81....
4
curl
8.9.1-2.fc41
8.9.1-3.fc42
4
coreutils
9.5-8.fc42
9.5-9.fc42
4
libssh-config
0.10.6-8.fc41
0.11.1-1.fc42
4
kernel-headers
6.11.0-0.rc4.37.fc42
6.11.0-0.rc5.43.fc42
4
coreutils-common
9.5-8.fc42
9.5-9.fc42
B
gcc-c++
14.1.1-7.fc41
14.2.1-1.fc42
1
bash
5.2.26-4.fc41
5.2.32-1.fc41
2
libstdc++-devel
14.1.1-7.fc41
14.2.1-1.fc42
2
pkgconf-pkg-config
2.1.1-2.fc41
2.3.0-1.fc42
2
gcc
14.1.1-7.fc41
14.2.1-1.fc42
2
libffi
3.4.6-2.fc41
3.4.6-3.fc42
2
libgcc
14.1.1-7.fc41
14.2.1-1.fc42
2
libstdc++
14.1.1-7.fc41
14.2.1-1.fc42
2
readline
8.2-9.fc41
8.2-10.fc41
3
cpp
14.1.1-7.fc41
14.2.1-1.fc42
3
pkgconf-m4
2.1.1-2.fc41
2.3.0-1.fc42
3
libuuid
2.40.2-4.fc41
2.40.2-6.fc42
3
binutils
2.42.90-1.fc41
2.43.1-1.fc42
3
libgomp
14.1.1-7.fc41
14.2.1-1.fc42
3
pkgconf
2.1.1-2.fc41
2.3.0-1.fc42
3
crypto-policies
20240807-1.git5795660....
20240822-1.git64c9381....
4
kernel-headers
6.11.0-0.rc2.23.fc41
6.11.0-0.rc4.37.fc42
4
coreutils
9.5-7.fc41
9.5-8.fc42
4
redhat-rpm-config
293-1.fc41
294-1.fc42
4
libpkgconf
2.1.1-2.fc41
2.3.0-1.fc42
4
fedora-release-common
41-0.20
42-0.3
B
fedora-release
41-0.20
42-0.3
B
annobin-docs
12.67-1.fc41
12.70-1.fc42
B
util-linux
2.40.2-4.fc41
2.40.2-6.fc42
B
fedora-gpg-keys
41-0.3
42-0.1
B
libmount
2.40.2-4.fc41
2.40.2-6.fc42
B
rust-srpm-macros
26.3-1.fc41
26.3-3.fc42
B
fedora-release-identity-basic
41-0.20
42-0.3
B
util-linux-core
2.40.2-4.fc41
2.40.2-6.fc42
B
systemd-libs
256.4-1.fc41
256.5-1.fc42
B
fedora-repos
41-0.3
42-0.1
B
libsmartcols
2.40.2-4.fc41
2.40.2-6.fc42
B
fedora-repos-rawhide
41-0.3
42-0.1
B
annobin-plugin-gcc
12.67-1.fc41
12.70-1.fc42
B
coreutils-common
9.5-7.fc41
9.5-8.fc42
B
libblkid
2.40.2-4.fc41
2.40.2-6.fc42
B
libfdisk
2.40.2-4.fc41
2.40.2-6.fc42
B
gcc-plugin-annobin
14.1.1-7.fc41
14.2.1-1.fc42
B
Real build: clingo-5.7.1-1.fc41
fedora-gpg-keys
41-0.2
41-0.3
B
fedora-repos-rawhide
41-0.2
41-0.3
B
fedora-repos
41-0.2
41-0.3
B
Previous history