why3

Package information

State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug

Scheduler parameters

Tracked by Koschei
True
Current priority
2111
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

emacs-nw
1:30.1-13.fc43
1:30.1-18.fc43
1
libcurl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
2
emacs
1:30.1-18.fc43
2
redhat-rpm-config
342-2.fc42
343-3.fc43
2
glib2
2.84.0-1.fc43
2.84.1-1.fc43
2
emacs-common
1:30.1-13.fc43
1:30.1-18.fc43
2
xz-libs
1:5.8.0-1.fc43
1:5.8.1-1.fc43
3
glib2-devel
2.84.0-1.fc43
2.84.1-1.fc43
3
libxcrypt
4.4.38-6.fc43
4.4.38-7.fc43
3
qt6-srpm-macros
6.9.0~rc-1.fc43
6.9.0-1.fc43
3
libffi
3.4.7-3.fc43
3.4.7-4.fc43
3
emacsclient
1:30.1-13.fc43
1:30.1-18.fc43
3
crypto-policies
20250324-1.git3714354....
20250402-1.git86c0178....
3
libxcrypt-devel
4.4.38-6.fc43
4.4.38-7.fc43
4
curl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
4
xz-devel
1:5.8.0-1.fc43
1:5.8.1-1.fc43
4
javapackages-filesystem
6.4.0-6.fc43
6.4.0-7.fc43
4
libffi-devel
3.4.7-3.fc43
3.4.7-4.fc43
4
xz
1:5.8.0-1.fc43
1:5.8.1-1.fc43
B
fedora-release-identity-basic
43-0.8
43-0.10
B
fedora-release
43-0.8
43-0.10
B
gawk
5.3.1-1.fc42
5.3.2-1.fc43
B
fedora-release-common
43-0.8
43-0.10
B

State overview

Groups

This package is not part of any global group.

Historical builds

complete
130063271
2025-03-10 01:05:29
aarch64
├130063349 ( build.log | root.log )
ppc64le
├130063348 ( build.log | root.log )
x86_64
└130063347 ( build.log | root.log )
systemd-libs
257.3-7.fc43
257.4-3.fc43
2
glib2
2.83.5-1.fc43
2.84.0-1.fc43
2
python3-jinja2
3.1.5-2.fc42
3.1.6-1.fc43
2
libidn2
2.3.7-3.fc42
2.3.8-1.fc43
3
libffi
3.4.6-5.fc42
3.4.7-2.fc43
3
crypto-policies
20250214-1.gitff7551b....
20250305-1.gita35b0fa....
3
cmake-filesystem
4.0.0~rc2-3.fc43
4.0.0~rc3-3.fc43
3
glib2-devel
2.83.5-1.fc43
2.84.0-1.fc43
3
systemd-standalone-sysusers
257.3-7.fc43
257.4-3.fc43
3
tree-sitter-srpm-macros
0.1.0-8.fc42
0.2.0-1.fc43
3
adwaita-icon-theme
47.0-2.fc42
48~beta-1.fc43
4
libffi-devel
3.4.6-5.fc42
3.4.7-2.fc43
4
readline
8.2-12.fc42
8.2-13.fc43
4
nss
3.108.0-3.fc43
3.109.0-1.fc43
4
setup
2.15.0-12.fc43
2.15.0-13.fc43
4
google-noto-fonts-common
20250201-1.fc43
20250301-1.fc43
4
nspr
4.36.0-4.fc43
4.36.0-5.fc43
4
google-noto-sans-vf-fonts
20250201-1.fc43
20250301-1.fc43
4
systemd-rpm-macros
257.3-7.fc43
257.4-3.fc43
B
mesa-libEGL
25.0.0-1.fc43
25.0.1-2.fc43
B
nss-softokn
3.108.0-3.fc43
3.109.0-1.fc43
B
hwdata
0.392-1.fc42
0.393-1.fc43
B
mesa-libgbm
25.0.0-1.fc43
25.0.1-2.fc43
B
llvm-filesystem
19.1.7-11.fc43
20.1.0-1.fc43
B
llvm-libs
19.1.7-11.fc43
20.1.0-1.fc43
B
systemd-devel
257.3-7.fc43
257.4-3.fc43
B
mesa-filesystem
25.0.0-1.fc43
25.0.1-2.fc43
B
mesa-dri-drivers
25.0.0-1.fc43
25.0.1-2.fc43
B
nss-sysinit
3.108.0-3.fc43
3.109.0-1.fc43
B
perl-Date-Manip
6.96-2.fc42
6.97-1.fc43
B
adwaita-cursor-theme
47.0-2.fc42
48~beta-1.fc43
B
mesa-libGL
25.0.0-1.fc43
25.0.1-2.fc43
B
nss-util
3.108.0-3.fc43
3.109.0-1.fc43
B
nss-softokn-freebl
3.108.0-3.fc43
3.109.0-1.fc43
B
complete
129780046
2025-03-03 21:48:03
aarch64
├129780131 ( build.log | root.log )
ppc64le
├129780130 ( build.log | root.log )
x86_64
└129780129 ( build.log | root.log )
emacs-nw
1:30.1-3.fc43
1:30.1-5.fc43
1
libtree-sitter
0.25.2-3.fc43
0.25.2-8.fc43
2
libstdc++
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
rpm-libs
4.20.0-8.fc42
4.20.1-1.fc43
2
gnutls
3.8.9-4.fc43
3.8.9-5.fc43
2
libgcc
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
gcc
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
glibc
2.41.9000-1.fc43
2.41.9000-2.fc43
2
libarchive
3.7.7-2.fc43
3.7.7-3.fc43
2
harfbuzz
10.3.0-1.fc43
10.4.0-1.fc43
2
libgccjit
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
emacs-common
1:30.1-3.fc43
1:30.1-5.fc43
2
glib2
2.83.2-6.fc42
2.83.5-1.fc43
2
glibc-devel
2.41.9000-1.fc43
2.41.9000-2.fc43
3
rpm
4.20.0-8.fc42
4.20.1-1.fc43
3
libgomp
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
emacsclient
1:30.1-3.fc43
1:30.1-5.fc43
3
annobin-plugin-gcc
12.88-1.fc42
12.92-1.fc43
3
glibc-gconv-extra
2.41.9000-1.fc43
2.41.9000-2.fc43
3
gcc-plugin-annobin
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
libnghttp2
1.64.0-3.fc42
1.65.0-1.fc43
3
glib2-devel
2.83.2-6.fc42
2.83.5-1.fc43
3
glibc-minimal-langpack
2.41.9000-1.fc43
2.41.9000-2.fc43
3
cmake-filesystem
4.0.0~rc2-1.fc43
4.0.0~rc2-3.fc43
3
lua-libs
5.4.7-2.fc42
5.4.7-3.fc43
3
cpp
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
glibc-common
2.41.9000-1.fc43
2.41.9000-2.fc43
3
libtinysparql
3.8~rc-6.fc43
3.9~rc-1.fc43
4
at-spi2-atk
2.55.2-1.fc42
2.55.90-1.fc43
4
rpm-build
4.20.0-8.fc42
4.20.1-1.fc43
4
atk-devel
2.55.2-1.fc42
2.55.90-1.fc43
4
at-spi2-atk-devel
2.55.2-1.fc42
2.55.90-1.fc43
4
annobin-docs
12.88-1.fc42
12.92-1.fc43
4
atk
2.55.2-1.fc42
2.55.90-1.fc43
4
kernel-headers
6.14.0-0.rc4.36.fc43
6.14.0-0.rc5.43.fc43
4
libquadmath
15.0.1-0.8.fc43
15.0.1-0.9.fc43
B
fedora-release-common
43-0.5
43-0.6
B
perl-Math-BigInt
1:2.0030.04-1.fc42
1:2.0040.01-1.fc43
B
harfbuzz-devel
10.3.0-1.fc43
10.4.0-1.fc43
B
fedora-release
43-0.5
43-0.6
B
harfbuzz-cairo
10.3.0-1.fc43
10.4.0-1.fc43
B
libgfortran
15.0.1-0.8.fc43
15.0.1-0.9.fc43
B
fedora-release-identity-basic
43-0.5
43-0.6
B
at-spi2-core
2.55.2-1.fc42
2.55.90-1.fc43
B
rpm-build-libs
4.20.0-8.fc42
4.20.1-1.fc43
B
at-spi2-core-devel
2.55.2-1.fc42
2.55.90-1.fc43
B
harfbuzz-icu
10.3.0-1.fc43
10.4.0-1.fc43
B
suitesparse
7.9.0-1.fc43
7.10.0-1.fc43
B
complete
129654812
2025-02-27 11:35:42
aarch64
├129654920 ( build.log | root.log )
ppc64le
├129654919 ( build.log | root.log )
x86_64
└129654918 ( build.log | root.log )
java-21-openjdk-devel
1:21.0.6.0.7-6.fc42
1:21.0.6.0.7-7.fc43
1
emacs-nw
1:29.4-53.fc43
1:30.1-3.fc43
1
libgcc
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
zlib-ng-devel
2.2.4-1.fc43
2.2.4-2.fc43
2
gcc
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
libgccjit
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
libstdc++
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
libarchive
3.7.7-2.fc42
3.7.7-2.fc43
2
libuuid
2.40.4-6.fc43
2.40.4-7.fc43
2
emacs-common
1:29.4-53.fc43
1:30.1-3.fc43
2
java-21-openjdk
1:21.0.6.0.7-6.fc42
1:21.0.6.0.7-7.fc43
2
zlib-ng-compat
2.2.4-1.fc43
2.2.4-2.fc43
2
libgomp
15.0.1-0.7.fc43
15.0.1-0.8.fc43
3
util-linux
2.40.4-6.fc43
2.40.4-7.fc43
3
openssl-libs
1:3.2.4-1.fc43
1:3.2.4-2.fc43
3
java-21-openjdk-headless
1:21.0.6.0.7-6.fc42
1:21.0.6.0.7-7.fc43
3
coreutils
9.6-1.fc42
9.6-2.fc43
3
cmake-filesystem
3.31.5-1.fc42
4.0.0~rc2-1.fc43
3
gcc-plugin-annobin
15.0.1-0.7.fc43
15.0.1-0.8.fc43
3
zlib-ng
2.2.4-1.fc43
2.2.4-2.fc43
3
emacsclient
1:29.4-53.fc43
1:30.1-3.fc43
3
libmount
2.40.4-6.fc43
2.40.4-7.fc43
3
cpp
15.0.1-0.7.fc43
15.0.1-0.8.fc43
3
zlib-ng-compat-devel
2.2.4-1.fc43
2.2.4-2.fc43
4
libsmartcols
2.40.4-6.fc43
2.40.4-7.fc43
4
libfdisk
2.40.4-6.fc43
2.40.4-7.fc43
4
libblkid
2.40.4-6.fc43
2.40.4-7.fc43
4
libmount-devel
2.40.4-6.fc43
2.40.4-7.fc43
4
coreutils-common
9.6-1.fc42
9.6-2.fc43
4
kernel-headers
6.14.0-0.rc3.29.fc43
6.14.0-0.rc4.36.fc43
4
util-linux-core
2.40.4-6.fc43
2.40.4-7.fc43
4
suitesparse
7.8.3-1.fc42
7.9.0-1.fc43
B
perl-Module-CoreList
1:5.20250120-1.fc42
1:5.20250220-1.fc43
B
debugedit
5.1-4.fc42
5.1-5.fc43
B
perl-Business-ISBN-Data
20250220.001-1.fc43
20250226.001-1.fc43
B
libblkid-devel
2.40.4-6.fc43
2.40.4-7.fc43
B
llvm-filesystem
19.1.7-9.fc43
19.1.7-11.fc43
B
llvm-libs
19.1.7-9.fc43
19.1.7-11.fc43
B
libgfortran
15.0.1-0.7.fc43
15.0.1-0.8.fc43
B
perl-libwww-perl
6.77-3.fc42
6.78-1.fc43
B
libquadmath
15.0.1-0.7.fc43
15.0.1-0.8.fc43
B
complete
129581923
2025-02-24 13:03:05
aarch64
├129582013 ( build.log | root.log )
ppc64le
├129582015 ( build.log | root.log )
x86_64
└129582014 ( build.log | root.log )
emacs-nw
1:29.4-49.fc42
1:29.4-53.fc43
1
libzstd-devel
1.5.6-3.fc42
1.5.7-1.fc43
2
harfbuzz
10.2.0-2.fc42
10.3.0-1.fc43
2
poppler-glib
24.08.0-2.fc42
25.02.0-1.fc43
2
emacs-common
1:29.4-49.fc42
1:29.4-53.fc43
2
libtree-sitter
0.24.7-2.fc42
0.25.2-3.fc43
2
glibc
2.40.9000-37.fc43
2.41.9000-1.fc43
2
libzstd
1.5.6-3.fc42
1.5.7-1.fc43
2
glibc-devel
2.40.9000-37.fc43
2.41.9000-1.fc43
3
cups-libs
1:2.4.11-11.fc43
1:2.4.11-13.fc43
3
poppler
24.08.0-2.fc42
25.02.0-1.fc43
3
glibc-minimal-langpack
2.40.9000-37.fc43
2.41.9000-1.fc43
3
glibc-gconv-extra
2.40.9000-37.fc43
2.41.9000-1.fc43
3
emacsclient
1:29.4-49.fc42
1:29.4-53.fc43
3
glibc-common
2.40.9000-37.fc43
2.41.9000-1.fc43
3
cups-filesystem
1:2.4.11-11.fc43
1:2.4.11-13.fc43
4
harfbuzz-icu
10.2.0-2.fc42
10.3.0-1.fc43
B
fedora-release
43-0.4
43-0.5
B
fedora-release-common
43-0.4
43-0.5
B
fedora-release-identity-basic
43-0.4
43-0.5
B
mesa-libGL
25.0.0~rc3-2.fc43
25.0.0-1.fc43
B
perl-Business-ISBN-Data
20250205.001-1.fc43
20250220.001-1.fc43
B
mesa-libEGL
25.0.0~rc3-2.fc43
25.0.0-1.fc43
B
harfbuzz-devel
10.2.0-2.fc42
10.3.0-1.fc43
B
mesa-dri-drivers
25.0.0~rc3-2.fc43
25.0.0-1.fc43
B
zstd
1.5.6-3.fc42
1.5.7-1.fc43
B
harfbuzz-cairo
10.2.0-2.fc42
10.3.0-1.fc43
B
mesa-libgbm
25.0.0~rc3-2.fc43
25.0.0-1.fc43
B
mesa-filesystem
25.0.0~rc3-2.fc43
25.0.0-1.fc43
B
2025-02-20 20:27:00
Package dependencies resolved successfuly
2025-02-20 19:03:59
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552255
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552255 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552255
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552255
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552255
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552255
2025-02-20 17:54:59
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552243
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552243 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552243
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552243
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552243
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552243
2025-02-20 16:45:22
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552232
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552232 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552232
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552232
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552232
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552232
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues