Koschei
Collections
Packages
Groups
Stats
Log in
Search
frama-c
Fedora Rawhide
Fedora 41
Fedora 40
EPEL 9 NEXT
EPEL 9
EPEL 8
Package information
State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug
Scheduler parameters
Tracked by Koschei
True
Current priority
1949
Manual priority
0
Static priority
0
Arch override
None
Skip resolution
False
Configure scheduling
Tracked by Koschei
Manual priority
Skip resolution
Arch override
Cancel
Save
Dependency changes since last build
glibc
2.40-
11
.fc41
2.40-
12
.fc41
2
cairo
1.18.
0
-4.fc41
1.18.
2
-1.fc41
2
cairo-gobject-devel
1.18.
0
-4.fc41
1.18.
2
-1.fc41
3
glibc-devel
2.40-
11
.fc41
2.40-
12
.fc41
3
cairo-devel
1.18.
0
-4.fc41
1.18.
2
-1.fc41
3
libXt
1.3.
0
-4.fc41
1.3.
1
-1.fc41
3
efi-srpm-macros
5-
12
.fc41
5-
13
.fc41
3
glibc-gconv-extra
2.40-
11
.fc41
2.40-
12
.fc41
3
glibc-minimal-langpack
2.40-
11
.fc41
2.40-
12
.fc41
3
cairo-gobject
1.18.
0
-4.fc41
1.18.
2
-1.fc41
3
cups-libs
1:2.4.11-
2
.fc41
1:2.4.11-
3
.fc41
3
glibc-common
2.40-
11
.fc41
2.40-
12
.fc41
3
cups-filesystem
1:2.4.11-3.fc41
4
nss
3.
105
.0-1.fc41
3.
106
.0-1.fc41
4
pam-libs
1.6.1-
6
.fc41
1.6.1-
7
.fc41
4
nspr
4.
35
.0-30.fc41
4.
36
.0-1.fc41
4
pam
1.6.1-
6
.fc41
1.6.1-
7
.fc41
4
fedora-release
41-
27
41-
28
B
fedora-release-identity-basic
41-
27
41-
28
B
nss-softokn-freebl
3.
105
.0-1.fc41
3.
106
.0-1.fc41
B
nss-softokn
3.
105
.0-1.fc41
3.
106
.0-1.fc41
B
fedora-release-common
41-
27
41-
28
B
nss-util
3.
105
.0-1.fc41
3.
106
.0-1.fc41
B
nss-sysinit
3.
105
.0-1.fc41
3.
106
.0-1.fc41
B
show 14 more
collapse
State overview
Fedora Rawhide
Fedora 41
Fedora 40
Groups
This package is not part of any global group.
Historical builds