Koschei - emacs-common-proofgeneral

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

3242

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

systemd-libs

257.2-17.fc42

257.3-6.fc42

libuuid

2.40.4-2.fc42

2.40.4-5.fc42

libgcc

15.0.1-0.6.fc42

15.0.1-0.7.fc42

libcurl

8.11.1-3.fc42

8.11.1-4.fc42

gnutls

3.8.8-2.fc42

3.8.8-3.fc42

libgccjit

15.0.1-0.6.fc42

15.0.1-0.7.fc42

gcc

15.0.1-0.6.fc42

15.0.1-0.7.fc42

crypto-policies

20250124-1.git4d262e7....

20250214-1.gitff7551b....

openssl-libs

1:3.2.2-14.fc42

1:3.2.4-1.fc42

systemd-standalone-sysusers

257.3-6.fc42

rpm-sequoia

1.7.0-4.fc42

1.7.0-5.fc42

libmount

2.40.4-2.fc42

2.40.4-5.fc42

libxcrypt

4.4.38-4.fc42

4.4.38-6.fc42

binutils

2.43.50-12.fc42

2.44-3.fc42

libgomp

15.0.1-0.6.fc42

15.0.1-0.7.fc42

cpp

15.0.1-0.6.fc42

15.0.1-0.7.fc42

libstdc++

15.0.1-0.6.fc42

15.0.1-0.7.fc42

libblkid

2.40.4-2.fc42

2.40.4-5.fc42

curl

8.11.1-3.fc42

8.11.1-4.fc42

setup

2.15.0-10.fc42

2.15.0-12.fc42

fedora-gpg-keys

42-0.4

42-0.5

libsmartcols

2.40.4-2.fc42

2.40.4-5.fc42

dbus

1:1.16.0-3.fc42

libtirpc

1.3.6-1.rc3.fc42.2

gdb-minimal

15.2-7.fc42

16.2-2.fc42

fedora-repos

42-0.4

42-0.5

systemd

257.2-17.fc42

libxcrypt-devel

4.4.38-4.fc42

4.4.38-6.fc42

dbus-broker

36-5.fc42

libseccomp

2.5.5-2.fc41

libeconf

0.7.5-2.fc42

0.7.6-1.fc42

libnsl2

2.0.1-3.fc42

dbus-common

1:1.16.0-3.fc42

build-reproducibility-srpm-macros

0.5.0-2.fc42

0.6.0-1.fc42

perl-Business-ISBN-Data

20250118.001-1.fc42

20250205.001-1.fc42

util-linux-core

2.40.4-2.fc42

2.40.4-5.fc42

authselect

1.5.0-9.fc42

add-determinism

0.5.0-2.fc42

0.6.0-1.fc42

gdbm

1:1.23-9.fc42

pyproject-srpm-macros

1.16.4-2.fc42

1.17.0-1.fc42

libfdisk

2.40.4-2.fc42

2.40.4-5.fc42

fedora-release-identity-basic

42-0.16

42-0.18

authselect-libs

1.5.0-9.fc42

pam

1.7.0-4.fc42

perltidy

20250105-2.fc42

20250214-1.fc42

systemd-pam

257.2-17.fc42

libpwquality

1.4.5-12.fc42

util-linux

2.40.4-2.fc42

2.40.4-5.fc42

fedora-release-common

42-0.16

42-0.18

cracklib

2.9.11-7.fc42

fedora-repos-rawhide

42-0.4

fedora-release

42-0.16

42-0.18

perl-Mozilla-CA

20240924-3.fc42

20250202-1.fc42

systemd-rpm-macros

257.2-17.fc42

gcc-plugin-annobin

15.0.1-0.6.fc42

15.0.1-0.7.fc42

perl-MIME-Types

2.26-3.fc42

2.27-1.fc42

show 46 more collapse

State overview

Groups

perl-users

Historical builds

127886362

2025-01-15 07:36:00

ppc64le

└127886453 ( build.log | root.log )

emacs-nw

1:29.4-46.fc42

1:29.4-47.fc42

texinfo-tex

7.1.1-2.fc42

7.2-1.fc42

emacs-common

1:29.4-46.fc42

1:29.4-47.fc42

libtree-sitter

0.23.0-1.fc42

0.24.7-1.fc42

glibc

2.40.9000-27.fc42

2.40.9000-28.fc42

libselinux

3.8-0.rc3.1.fc42.1

3.8-0.rc3.1.fc42.2

rpm-libs

4.20.0-1.fc42

4.20.0-5.fc42

texinfo

7.1.1-2.fc42

7.2-1.fc42

libuuid

2.40.2-8.fc42

2.40.2-9.fc42

systemd-libs

257.2-1.fc42

257.2-7.fc42

alternatives

1.31-1.fc42

1.31-2.fc42

glibc-gconv-extra

2.40.9000-27.fc42

2.40.9000-28.fc42

glibc-common

2.40.9000-27.fc42

2.40.9000-28.fc42

glibc-minimal-langpack

2.40.9000-27.fc42

2.40.9000-28.fc42

rpm

4.20.0-1.fc42

4.20.0-5.fc42

libcap

2.71-1.fc42

2.71-2.fc42

coreutils

9.5-11.fc42

9.5-12.fc42

perl-libintl-perl

1.33-9.fc41

1.34-1.fc42

libmount

2.40.2-8.fc42

2.40.2-9.fc42

emacsclient

1:29.4-46.fc42

1:29.4-47.fc42

filesystem

3.18-29.fc42

3.18-30.fc42

cyrus-sasl-lib

2.1.28-27.fc41

2.1.28-28.fc42

coreutils-common

9.5-11.fc42

9.5-12.fc42

libcom_err

1.47.2-1.fc42

1.47.2-2.fc42

glibc-devel

2.40.9000-27.fc42

2.40.9000-28.fc42

libblkid

2.40.2-8.fc42

2.40.2-9.fc42

libtool-ltdl

2.5.4-1.fc42

2.5.4-2.fc42

libxcrypt

4.4.37-4.fc42

4.4.38-1.fc42

shadow-utils

2:4.17.0-2.fc42

2:4.17.0-3.fc42

harfbuzz

10.1.0-2.fc42

10.2.0-1.fc42

filesystem-srpm-macros

3.18-29.fc42

3.18-30.fc42

util-linux

2.40.2-8.fc42

2.40.2-9.fc42

rpm-build-libs

4.20.0-1.fc42

4.20.0-5.fc42

fedora-release-identity-basic

42-0.12

42-0.13

libsmartcols

2.40.2-8.fc42

2.40.2-9.fc42

libxcrypt-devel

4.4.37-4.fc42

4.4.38-1.fc42

fedora-release

42-0.12

42-0.13

kernel-headers

6.13.0-0.rc6.48.fc42

6.13.0-0.rc7.55.fc42

info

7.1.1-2.fc42

7.2-1.fc42

libfdisk

2.40.2-8.fc42

2.40.2-9.fc42

fedora-release-common

42-0.12

42-0.13

util-linux-core

2.40.2-8.fc42

2.40.2-9.fc42

rpm-build

4.20.0-1.fc42

4.20.0-5.fc42

show 33 more collapse

2025-01-15 07:35:55

Package dependencies resolved successfuly

2025-01-15 06:29:11

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

2025-01-15 05:17:52

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

2025-01-15 04:03:18

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

2025-01-15 02:59:48

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-6543400

2025-01-15 01:51:29

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

2025-01-15 01:42:50

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-6543394

Previous history