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

2330

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

alsa-lib

1.2.13-4.fc42

1.2.14-2.fc43

rpm-libs

4.20.1-3.fc43

5.99.90-3.fc43

libgcc

15.0.1-0.12.fc43

15.0.1-0.14.fc43

libgccjit

15.0.1-0.12.fc43

15.0.1-0.14.fc43

gcc

15.0.1-0.12.fc43

15.0.1-0.14.fc43

rpm

4.20.1-3.fc43

5.99.90-3.fc43

openssl-libs

1:3.5.0-2.fc43

1:3.5.0-3.fc43

filesystem

3.18-39.fc43

3.18-40.fc43

crypto-policies

20250402-1.git86c0178....

20250402-2.git86c0178....

libcap

2.73-2.fc42

2.76-1.fc43

libstdc++

15.0.1-0.12.fc43

15.0.1-0.14.fc43

cpp

15.0.1-0.12.fc43

15.0.1-0.14.fc43

harfbuzz

11.0.1-2.fc43

11.1.0-1.fc43

libgomp

15.0.1-0.12.fc43

15.0.1-0.14.fc43

gnupg2

2.4.7-3.fc43

libksba

1.6.7-3.fc42

rpm-sign-libs

5.99.90-3.fc43

libusb1

1.0.28-2.fc43

libassuan

2.5.7-3.fc42

libgpg-error

1.54-1.fc43

npth

1.8-2.fc42

tpm2-tss

4.1.3-7.fc43

ima-evm-utils-libs

1.6.2-5.fc43

redhat-rpm-config

343-3.fc43

343-4.fc43

libfsverity

1.6-2.fc42

qt6-srpm-macros

6.9.0-1.fc43

6.9.0-2.fc43

perl-Business-ISBN-Data

20250411.001-1.fc43

20250418.001-1.fc43

perl-Module-Runtime

0.017-1.fc43

0.018-1.fc43

google-noto-fonts-common

20250301-1.fc43

20250401-1.fc43

perl-MIME-Types

2.27-1.fc43

2.28-1.fc43

perl-Module-CoreList

1:5.20250414-1.fc43

1:5.20250421-1.fc43

gcc-plugin-annobin

15.0.1-0.12.fc43

15.0.1-0.14.fc43

tree-sitter-srpm-macros

0.2.2-1.fc43

0.2.3-1.fc43

rpm-build

4.20.1-3.fc43

5.99.90-3.fc43

filesystem-srpm-macros

3.18-39.fc43

3.18-40.fc43

google-noto-sans-vf-fonts

20250301-1.fc43

20250401-1.fc43

rpm-build-libs

4.20.1-3.fc43

5.99.90-3.fc43

libgcrypt

1.11.0-5.fc42

show 28 more collapse

State overview

Groups

perl-users

Historical builds

2025-02-20 17:50:05

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

2025-02-20 16:40:24

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

2025-02-20 15:28:45

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

2025-02-20 14:22:19

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

2025-02-20 13:48:08

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

2025-02-20 13:38:50

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

2025-02-20 12:32:23

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

2025-02-20 11:18:56

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

Previous history