why3

Package information

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

Scheduler parameters

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

sqlite-libs
3.47.2-1.fc42
3.47.2-2.fc42
2
csdp-tools
6.2.0-29.20181018gi...
6.2.0-31.20181018gi...
2
binutils
2.43.50-9.fc42
2.43.50-11.fc42
3
csdp
6.2.0-29.20181018gi...
6.2.0-31.20181018gi...
3
openldap
2.6.9-1.fc42
2.6.9-2.fc42
3
annobin-plugin-gcc
12.80-2.fc42
12.81-1.fc42
3
glpk-devel
5.0-12.fc41
5.0-13.fc42
3
libxcrypt
4.4.38-2.fc42
4.4.38-3.fc42
3
libxcrypt-devel
4.4.38-2.fc42
4.4.38-3.fc42
4
annobin-docs
12.80-2.fc42
12.81-1.fc42
4
avahi-libs
0.8-30.fc42
0.9~rc2-2.fc42
4
glpk
5.0-12.fc41
5.0-13.fc42
4
libicu
76.1-2.fc42
76.1-3.fc42
B
debugedit
5.1-2.fc42
5.1-4.fc42
B
spirv-tools-libs
2024.3-4.fc42
2024.4-1.fc42
B
libicu-devel
76.1-2.fc42
76.1-3.fc42
B
avahi-glib
0.8-30.fc42
0.9~rc2-2.fc42
B
perl-Business-ISBN-Data
20250115.001-1.fc42
20250116.001-1.fc42
B

State overview

Groups

This package is not part of any global group.

Most recent builds

failed
127904088
2025-01-15 21:16:29
aarch64
├127904186 ( build.log | root.log )
ppc64le
├127904184 ( build.log | root.log )
x86_64
└127904185 ( build.log | root.log )
emacs-nw
1:29.4-46.fc42
1:29.4-47.fc42
1
libstdc++
14.2.1-6.fc42
15.0.1-0.3.fc42
2
libtree-sitter
0.23.0-1.fc42
0.24.7-1.fc42
2
rpm-libs
4.20.0-5.fc42
4.20.0-6.fc42
2
libtool-ltdl
2.5.4-2.fc42
2.5.4-3.fc42
2
libuuid
2.40.2-9.fc42
2.40.4-1.fc42
2
gcc
14.2.1-6.fc42
15.0.1-0.3.fc42
2
emacs-common
1:29.4-46.fc42
1:29.4-47.fc42
2
libgccjit
14.2.1-6.fc42
15.0.1-0.3.fc42
2
libgcc
14.2.1-6.fc42
15.0.1-0.3.fc42
2
cpp
14.2.1-6.fc42
15.0.1-0.3.fc42
3
emacsclient
1:29.4-46.fc42
1:29.4-47.fc42
3
fonts-filesystem
1:2.0.5-17.fc41
1:2.0.5-19.fc42
3
gcc-plugin-annobin
14.2.1-6.fc42
15.0.1-0.3.fc42
3
fonts-srpm-macros
1:2.0.5-17.fc41
1:2.0.5-19.fc42
3
openjpeg
2.5.3-3.fc42
2.5.3-4.fc42
3
filesystem-srpm-macros
3.18-30.fc42
3.18-34.fc42
3
util-linux
2.40.2-9.fc42
2.40.4-1.fc42
3
filesystem
3.18-30.fc42
3.18-34.fc42
3
libgomp
14.2.1-6.fc42
15.0.1-0.3.fc42
3
libmount
2.40.2-9.fc42
2.40.4-1.fc42
3
annobin-plugin-gcc
12.80-1.fc42
12.80-2.fc42
3
libxcrypt
4.4.37-6.fc42
4.4.38-2.fc42
3
rpm
4.20.0-5.fc42
4.20.0-6.fc42
3
util-linux-core
2.40.2-9.fc42
2.40.4-1.fc42
4
rpm-build
4.20.0-5.fc42
4.20.0-6.fc42
4
libsmartcols
2.40.2-9.fc42
2.40.4-1.fc42
4
at-spi2-atk-devel
2.55.0-1.fc42
2.55.0.1-1.fc42
4
flexiblas-netlib
3.4.4-5.fc42
3.4.4-6.fc42
4
annobin-docs
12.80-1.fc42
12.80-2.fc42
4
atk-devel
2.55.0-1.fc42
2.55.0.1-1.fc42
4
libmount-devel
2.40.2-9.fc42
2.40.4-1.fc42
4
libfdisk
2.40.2-9.fc42
2.40.4-1.fc42
4
libblkid
2.40.2-9.fc42
2.40.4-1.fc42
4
libxcrypt-devel
4.4.37-6.fc42
4.4.38-2.fc42
4
atk
2.55.0-1.fc42
2.55.0.1-1.fc42
4
at-spi2-atk
2.55.0-1.fc42
2.55.0.1-1.fc42
4
libgfortran
14.2.1-6.fc42
15.0.1-0.3.fc42
B
fedora-gpg-keys
42-0.3
42-0.4
B
flexiblas-openblas-openmp
3.4.4-5.fc42
3.4.4-6.fc42
B
fedora-repos-rawhide
42-0.3
42-0.4
B
libblkid-devel
2.40.2-9.fc42
2.40.4-1.fc42
B
libusb1
1.0.27-5.fc42
1.0.27-6.fc42
B
flexiblas
3.4.4-5.fc42
3.4.4-6.fc42
B
rpm-build-libs
4.20.0-5.fc42
4.20.0-6.fc42
B
at-spi2-core-devel
2.55.0-1.fc42
2.55.0.1-1.fc42
B
fedora-repos
42-0.3
42-0.4
B
perl-Business-ISBN-Data
20250109.001-1.fc42
20250115.001-1.fc42
B
libquadmath
14.2.1-6.fc42
15.0.1-0.3.fc42
B
at-spi2-core
2.55.0-1.fc42
2.55.0.1-1.fc42
B
2025-01-15 07:32:30
Package dependencies resolved successfuly
2025-01-15 06:25:43
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543424
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543424 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543424
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543424
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543424
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543424
2025-01-15 05:14:09
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543416
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543416 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543416
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543416
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543416
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543416
2025-01-15 03:59:44
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543405
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543405 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543405
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543405
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543405
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543405
2025-01-15 02:56:06
Package resolution failed
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543400 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543400
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543400
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543400
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543400
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543400
2025-01-15 01:47:49
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543395
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543395 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543395
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543395
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543395
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543395
2025-01-15 01:38:57
Package resolution failed
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543394 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543394
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543394
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543394
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543394
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543394
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues