frama-c

Package information

State
ok

Scheduler parameters

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

No dependency changes

Groups

This package is not part of any global group.

Most recent builds

graphviz
2.47.1-1.fc35
2.47.1-3.fc35
1
rpm-libs
4.16.90-0.git15395.5....
4.16.90-0.git15395.6....
2
libxml2
2.9.10-11.fc35
2.9.10-12.fc35
2
python3-setuptools
56.0.0-2.fc35
56.1.0-1.fc35
2
systemd-libs
248-2.fc35
248.2-1.fc35
2
rpm
4.16.90-0.git15395.5....
4.16.90-0.git15395.6....
3
perl-Exporter
5.74-459.fc34
5.76-1.fc35
3
binutils
2.36.1-8.fc35
2.36.1-9.fc35
3
python-setuptools-wheel
56.0.0-2.fc35
56.1.0-1.fc35
3
binutils-gold
2.36.1-8.fc35
2.36.1-9.fc35
4
libxml2-devel
2.9.10-11.fc35
2.9.10-12.fc35
4
rpm-build
4.16.90-0.git15395.5....
4.16.90-0.git15395.6....
B
systemd-udev
248-2.fc35
248.2-1.fc35
B
systemd
248-2.fc35
248.2-1.fc35
B
shadow-utils
2:4.8.1-9.fc35
2:4.8.1-10.fc35
B
systemd-rpm-macros
248-2.fc35
248.2-1.fc35
B
rpm-build-libs
4.16.90-0.git15395.5....
4.16.90-0.git15395.6....
B
systemd-pam
248-2.fc35
248.2-1.fc35
B
iptables-legacy-libs
1.8.7-7.fc35
1.8.7-8.fc35
B
python3-devel
3.9.4-1.fc35
3.9.5-1.fc35
1
python-rpm-macros
3.9-37.fc35
3.9-38.fc35
2
glib2
2.68.1-2.fc35
2.68.1-3.fc35
2
python3-rpm-macros
3.9-37.fc35
3.9-38.fc35
2
librsvg2
2.50.4-1.fc35
2.50.5-1.fc35
2
python3-libs
3.9.4-1.fc35
3.9.5-1.fc35
2
libxml2
2.9.10-10.fc34
2.9.10-11.fc35
2
python3
3.9.4-1.fc35
3.9.5-1.fc35
2
python-srpm-macros
3.9-37.fc35
3.9-38.fc35
3
glib2-devel
2.68.1-2.fc35
2.68.1-3.fc35
3
adwaita-icon-theme
40.0-2.fc35
40.1.1-1.fc35
3
perl-Carp
1.50-458.fc34
1.52-459.fc35
3
libxml2-devel
2.9.10-10.fc34
2.9.10-11.fc35
4
at-spi2-core
2.40.0-2.fc35
2.40.1-1.fc35
4
mesa-libGL
21.0.3-2.fc35
21.1.0-1.fc35
4
adwaita-cursor-theme
40.0-2.fc35
40.1.1-1.fc35
4
at-spi2-core-devel
2.40.0-2.fc35
2.40.1-1.fc35
4
mesa-libEGL
21.0.3-2.fc35
21.1.0-1.fc35
4
gvfs-client
1.48.0-1.fc35
1.48.1-1.fc35
B
mesa-libglapi
21.0.3-2.fc35
21.1.0-1.fc35
B
gvfs
1.48.0-1.fc35
1.48.1-1.fc35
B
mesa-libgbm
21.0.3-2.fc35
21.1.0-1.fc35
B
coreutils
8.32-23.fc35
8.32-24.fc35
2
perl-open
1.12-474.fc35
1.12-475.fc35
2
perl-libs
4:5.32.1-474.fc35
4:5.32.1-475.fc35
2
perl-interpreter
4:5.32.1-474.fc35
4:5.32.1-475.fc35
2
llvm-libs
12.0.0-4.fc35
12.0.0-5.fc35
2
ncurses-libs
6.2-5.20210306.fc35
6.2-6.20210501.fc35
2
harfbuzz
2.8.0-1.fc35
2.8.1-1.fc35
2
ncurses-base
6.2-5.20210306.fc35
6.2-6.20210501.fc35
3
perl-File-Copy
2.34-474.fc35
2.34-475.fc35
3
perl-Class-Struct
0.66-474.fc35
0.66-475.fc35
3
perl-vars
1.05-474.fc35
1.05-475.fc35
3
perl-File-stat
1.09-474.fc35
1.09-475.fc35
3
perl-File-Find
1.37-474.fc35
1.37-475.fc35
3
libxkbcommon
1.2.1-1.fc35
1.3.0-1.fc35
3
perl-overload
1.31-474.fc35
1.31-475.fc35
3
wayland-protocols-devel
1.20-3.fc34
1.21-1.fc35
3
perl-Errno
1.30-474.fc35
1.30-475.fc35
3
perl-POSIX
1.94-474.fc35
1.94-475.fc35
3
coreutils-common
8.32-23.fc35
8.32-24.fc35
3
krb5-libs
1.19.1-3.fc35.1
1.19.1-5.fc35
3
harfbuzz-icu
2.8.0-1.fc35
2.8.1-1.fc35
3
libxkbcommon-devel
1.2.1-1.fc35
1.3.0-1.fc35
3
harfbuzz-devel
2.8.0-1.fc35
2.8.1-1.fc35
3
perl-DynaLoader
1.47-474.fc35
1.47-475.fc35
3
perl-File-Compare
1.100.600-474.fc35
1.100.600-475.fc35
3
perl-File-Basename
2.85-474.fc35
2.85-475.fc35
3
efi-srpm-macros
4-6.fc34
5-2.fc35
3
perl-IO
1.43-474.fc35
1.43-475.fc35
3
perl-Fcntl
1.13-474.fc35
1.13-475.fc35
4
perl-Getopt-Std
1.12-474.fc35
1.12-475.fc35
4
perl-Symbol
1.08-474.fc35
1.08-475.fc35
4
perl-mro
1.23-474.fc35
1.23-475.fc35
4
perl-overloading
0.02-474.fc35
0.02-475.fc35
4
perl-SelectSaver
1.02-474.fc35
1.02-475.fc35
4
libcurl
7.76.1-1.fc35
7.76.1-2.fc35
4
perl-B
1.80-474.fc35
1.80-475.fc35
4
which
2.21-25.fc35
2.21-26.fc35
4
curl
7.76.1-1.fc35
7.76.1-2.fc35
4
openblas
0.3.14-1.fc35
0.3.15-1.fc35
B
ncurses
6.2-5.20210306.fc35
6.2-6.20210501.fc35
B
hwdata
0.346-1.fc35
0.347-1.fc35
B
perl-IPC-Open3
1.21-474.fc35
1.21-475.fc35
B
perl-if
0.60.800-474.fc35
0.60.800-475.fc35
B
openblas-openmp
0.3.14-1.fc35
0.3.15-1.fc35
B
perl-subs
1.03-474.fc35
1.03-475.fc35
B
vim-filesystem
2:8.2.2811-1.fc35
2:8.2.2825-1.fc35
2
llvm-libs
12.0.0-1.fc35
12.0.0-4.fc35
2
libxcrypt
4.4.19-1.fc35
4.4.20-2.fc35
3
libepoxy
1.5.5-2.fc34
1.5.7-1.fc35
3
libepoxy-devel
1.5.5-2.fc34
1.5.7-1.fc35
3
annobin-plugin-gcc
9.69-1.fc35
9.70-1.fc35
3
wpebackend-fdo
1.9.90-2.fc35
1.9.91-1.fc35
3
libglvnd-glx
1:1.3.2-4.fc35
1:1.3.3-1.fc35
3
libglvnd-egl
1:1.3.2-4.fc35
1:1.3.3-1.fc35
3
cups-libs
1:2.3.3op2-4.fc35
1:2.3.3op2-5.fc35
3
xorg-x11-proto-devel
2021.3-1.fc35
2021.4-1.fc35
4
cmake-filesystem
3.19.7-1.fc35
3.20.2-1.fc35
4
mesa-libEGL
21.0.3-1.fc35
21.0.3-2.fc35
4
mesa-libGL
21.0.3-1.fc35
21.0.3-2.fc35
4
annobin-docs
9.69-1.fc35
9.70-1.fc35
4
libglvnd-devel
1:1.3.2-4.fc35
1:1.3.3-1.fc35
4
libglvnd
1:1.3.2-4.fc35
1:1.3.3-1.fc35
4
libxcrypt-devel
4.4.19-1.fc35
4.4.20-2.fc35
4
avahi-libs
0.8-10.fc35
0.8-11.fc35
4
mesa-libglapi
21.0.3-1.fc35
21.0.3-2.fc35
B
libglvnd-gles
1:1.3.2-4.fc35
1:1.3.3-1.fc35
B
libglvnd-core-devel
1:1.3.2-4.fc35
1:1.3.3-1.fc35
B
mesa-libgbm
21.0.3-1.fc35
21.0.3-2.fc35
B
avahi-glib
0.8-10.fc35
0.8-11.fc35
B
libglvnd-opengl
1:1.3.2-4.fc35
1:1.3.3-1.fc35
B
gnupg2
2.2.27-4.fc35
2.3.1-1.fc35
B
coreutils
8.32-22.fc35
8.32-23.fc35
2
glib2
2.68.1-1.fc35
2.68.1-2.fc35
2
gcc
11.0.1-0.7.fc35
11.1.1-1.fc35
2
libstdc++
11.0.1-0.7.fc35
11.1.1-1.fc35
2
rpm-libs
4.16.90-0.git15395.2....
4.16.90-0.git15395.5....
2
libgcc
11.0.1-0.7.fc35
11.1.1-1.fc35
2
glib2-devel
2.68.1-1.fc35
2.68.1-2.fc35
3
libgcrypt
1.9.3-1.fc35
1.9.3-2.fc35
3
rpm
4.16.90-0.git15395.2....
4.16.90-0.git15395.5....
3
coreutils-common
8.32-22.fc35
8.32-23.fc35
3
cpp
11.0.1-0.7.fc35
11.1.1-1.fc35
3
libgomp
11.0.1-0.7.fc35
11.1.1-1.fc35
3
lua-libs
5.4.2-2.fc34
5.4.3-1.fc35
3
file
5.40-3.fc35
5.40-6.fc35
3
unzip
6.0-51.fc35
6.0-52.fc35
4
file-libs
5.40-3.fc35
5.40-6.fc35
4
kernel-headers
5.12.0-0.rc8.git0.1....
5.12.0-1.fc35
4
fedora-repos
35-0.2
35-0.4
B
gsm
1.0.19-4.fc34
1.0.19-5.fc35
B
libquadmath
11.0.1-0.7.fc35
11.1.1-1.fc35
B
polkit-libs
0.117-4.fc35
0.118-1.fc35
B
fedora-repos-rawhide
35-0.2
35-0.4
B
fedora-gpg-keys
35-0.2
35-0.4
B
fedora-release-identity-basic
35-0.6
35-0.7
B
rpm-build-libs
4.16.90-0.git15395.2....
4.16.90-0.git15395.5....
B
fedora-release-common
35-0.6
35-0.7
B
libgfortran
11.0.1-0.7.fc35
11.1.1-1.fc35
B
kbd
2.4.0-3.fc35
2.4.0-4.fc35
B
kbd-misc
2.4.0-3.fc35
2.4.0-4.fc35
B
rpm-build
4.16.90-0.git15395.2....
4.16.90-0.git15395.5....
B
fedora-release
35-0.6
35-0.7
B
emacs
1:27.2-2.fc35
1:27.2-3.fc35
1
emacs-common
1:27.2-2.fc35
1:27.2-3.fc35
2
emacs-filesystem
1:27.2-2.fc35
1:27.2-3.fc35
2
rpm-libs
4.16.1.3-1.fc35
4.16.90-0.git15395.2....
2
vim-filesystem
2:8.2.2787-1.fc35
2:8.2.2811-1.fc35
2
libjpeg-turbo
2.0.90-2.fc35
2.1.0-1.fc35
2
libglvnd-egl
1:1.3.2-3.fc34
1:1.3.2-4.fc35
3
libglvnd-glx
1:1.3.2-3.fc34
1:1.3.2-4.fc35
3
rpm
4.16.1.3-1.fc35
4.16.90-0.git15395.2....
3
go-srpm-macros
3.0.9-3.fc35
3.0.10-1.fc35
3
libglvnd
1:1.3.2-3.fc34
1:1.3.2-4.fc35
4
which
2.21-24.fc35
2.21-25.fc35
4
libglvnd-devel
1:1.3.2-3.fc34
1:1.3.2-4.fc35
4
libglvnd-core-devel
1:1.3.2-3.fc34
1:1.3.2-4.fc35
B
libglvnd-gles
1:1.3.2-3.fc34
1:1.3.2-4.fc35
B
rpm-build-libs
4.16.1.3-1.fc35
4.16.90-0.git15395.2....
B
libglvnd-opengl
1:1.3.2-3.fc34
1:1.3.2-4.fc35
B
rpm-build
4.16.1.3-1.fc35
4.16.90-0.git15395.2....
B
shadow-utils
2:4.8.1-8.fc35
2:4.8.1-9.fc35
B
gcc
11.0.1-0.5.fc35
11.0.1-0.7.fc35
2
gtk3-devel
3.24.28-3.fc35
3.24.29-1.fc35
2
libgcc
11.0.1-0.5.fc35
11.0.1-0.7.fc35
2
gtk3
3.24.28-3.fc35
3.24.29-1.fc35
2
libstdc++
11.0.1-0.5.fc35
11.0.1-0.7.fc35
2
xorg-x11-fonts-ISO8859-1-100dpi
7.5-30.fc35
7.5-31.fc35
2
llvm-libs
12.0.0-0.11.rc5.fc35
12.0.0-1.fc35
2
gtk-update-icon-cache
3.24.28-3.fc35
3.24.29-1.fc35
3
cpp
11.0.1-0.5.fc35
11.0.1-0.7.fc35
3
libgomp
11.0.1-0.5.fc35
11.0.1-0.7.fc35
3
flexiblas-netlib
3.0.4-3.fc34
3.0.4-4.fc35
4
flexiblas
3.0.4-3.fc34
3.0.4-4.fc35
B
libquadmath
11.0.1-0.5.fc35
11.0.1-0.7.fc35
B
libgfortran
11.0.1-0.5.fc35
11.0.1-0.7.fc35
B
flexiblas-openblas-openmp
3.0.4-3.fc34
3.0.4-4.fc35
B
python3-setuptools
56.0.0-1.fc35
56.0.0-2.fc35
2
clang-libs
12.0.0-0.11.rc5.fc35
12.0.0-1.fc35
2
python-setuptools-wheel
56.0.0-1.fc35
56.0.0-2.fc35
3
annobin-plugin-gcc
9.68-1.fc35
9.69-1.fc35
3
clang-resource-filesystem
12.0.0-0.11.rc5.fc35
12.0.0-1.fc35
3
glib-networking
2.68.0-1.fc35
2.68.1-1.fc35
3
mesa-libEGL
21.0.2-1.fc35
21.0.3-1.fc35
4
pam
1.5.1-4.fc35
1.5.1-5.fc35
4
mesa-libGL
21.0.2-1.fc35
21.0.3-1.fc35
4
annobin-docs
9.68-1.fc35
9.69-1.fc35
4
mesa-libgbm
21.0.2-1.fc35
21.0.3-1.fc35
B
kbd
2.4.0-2.fc34
2.4.0-3.fc35
B
mesa-libglapi
21.0.2-1.fc35
21.0.3-1.fc35
B
kbd-misc
2.4.0-2.fc34
2.4.0-3.fc35
B
Previous history