Koschei - frama-c

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

3374

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

4.43.1-3.fc41

4.43.1-5.fc42

emacs-nw

1:29.4-47.fc42

1:29.4-49.fc42

libstdc++-devel

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

ncurses-libs

6.5-2.20240629.fc41

6.5-4.20250118.fc42

libstdc++

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

emacs-common

1:29.4-47.fc42

1:29.4-49.fc42

libgcc

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

libgccjit

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

fontconfig

2.15.0-9.fc42

2.16.0-2.fc42

zeromq-devel

4.3.5-17.fc41

4.3.5-19.fc42

gcc

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

gcc-c++

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

libgomp

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

fontconfig-devel

2.15.0-9.fc42

2.16.0-2.fc42

cpp

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

ncurses-base

6.5-2.20240629.fc41

6.5-4.20250118.fc42

gcc-plugin-annobin

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

crypto-policies

20241128-2.gitbb7b0b0....

20250124-1.git4d262e7....

graphite2

1.3.14-16.fc41

1.3.14-18.fc42

openssl-libs

1:3.2.2-12.fc42

1:3.2.2-13.fc42

zeromq

4.3.5-17.fc41

4.3.5-19.fc42

annobin-plugin-gcc

12.84-1.fc42

12.85-1.fc42

emacsclient

1:29.4-47.fc42

1:29.4-49.fc42

annobin-docs

12.84-1.fc42

12.85-1.fc42

libdav1d

1.5.0-3.fc42

1.5.1-1.fc42

fedora-release

42-0.15

42-0.16

fedora-release-common

42-0.15

42-0.16

fedora-release-identity-basic

42-0.15

42-0.16

libquadmath

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

openblas-openmp

0.3.28-3.fc42

0.3.29-1.fc42

libgfortran

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

graphite2-devel

1.3.14-16.fc41

1.3.14-18.fc42

ncurses

6.5-2.20240629.fc41

6.5-4.20250118.fc42

which

2.21-43.fc42

2.22-1.fc42

openblas

0.3.28-3.fc42

0.3.29-1.fc42

show 25 more collapse

State overview

Groups

This package is not part of any global group.

Historical builds

2024-08-28 13:55:30

Package dependencies resolved successfuly

2024-08-28 13:38:34

Package resolution failed

Problem: conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376904

2024-08-28 13:11:06

Package resolution failed

Problem: conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376851

2024-08-28 13:04:24

Package resolution failed

Problem: conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376829

2024-08-28 12:31:04

Package resolution failed

Problem: conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376789

2024-08-28 11:40:04

Package resolution failed

Problem: conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376513

2024-08-28 11:33:20

Package resolution failed

Problem: conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376459

2024-08-28 11:19:28

Package resolution failed

Problem: conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376402

Previous history