frama-c

Package information

State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug

Scheduler parameters

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

debugedit
5.1-1.fc42
5.1-2.fc42
4

State overview

Groups

This package is not part of any global group.

Historical builds

complete
124716200
2024-10-11 19:54:28
aarch64
├124716317 ( build.log | root.log )
ppc64le
├124716315 ( build.log | root.log )
x86_64
└124716316 ( build.log | root.log )
ocaml-dune-configurator-devel
3.16.0-4.fc42
3.16.0-5.fc42
1
ocaml-dune-site-devel
3.16.0-4.fc42
3.16.0-5.fc42
1
z3
4.13.2-1.fc42
4.13.3-1.fc42
1
ocaml-dune
3.16.0-4.fc42
3.16.0-5.fc42
1
ocaml-dune-private-libs-devel
3.16.0-4.fc42
3.16.0-5.fc42
2
ocaml-dune-configurator
3.16.0-4.fc42
3.16.0-5.fc42
2
ocaml-stdune-devel
3.16.0-4.fc42
3.16.0-5.fc42
2
ocaml-dune-site
3.16.0-4.fc42
3.16.0-5.fc42
2
ocaml-dune-private-libs
3.16.0-4.fc42
3.16.0-5.fc42
2
ocaml-stdune
3.16.0-4.fc42
3.16.0-5.fc42
3
ocaml-dyn-devel
3.16.0-4.fc42
3.16.0-5.fc42
3
xz-libs
1:5.6.3-1.fc42
1:5.6.3-2.fc42
3
ocaml-dyn
3.16.0-4.fc42
3.16.0-5.fc42
3
crypto-policies
20240927-1.git93b7251....
20241010-1.git8baf557....
3
ocaml-ordering
3.16.0-4.fc42
3.16.0-5.fc42
3
ocaml-ordering-devel
3.16.0-4.fc42
3.16.0-5.fc42
3
xz
1:5.6.3-1.fc42
1:5.6.3-2.fc42
4
xz-devel
1:5.6.3-1.fc42
1:5.6.3-2.fc42
4
complete
124656995
2024-10-10 09:10:42
aarch64
├124657118 ( build.log | root.log )
ppc64le
├124657119 ( build.log | root.log )
x86_64
└124657117 ( build.log | root.log )
python3-devel
3.13.0~rc3-1.fc42
3.13.0-1.fc42
1
emacs-nw
1:29.4-36.fc42
1:29.4-38.fc42
1
freetype
2.13.2-6.fc41
2.13.3-1.fc42
2
rpm-libs
4.19.94-1.fc42
4.20.0-1.fc42
2
emacs-common
1:29.4-36.fc42
1:29.4-38.fc42
2
python3
3.13.0~rc3-1.fc42
3.13.0-1.fc42
2
glibc
2.40.9000-1.fc42
2.40.9000-6.fc42
2
libgs
10.03.1-3.fc41
10.04.0-1.fc42
2
python3-libs
3.13.0~rc3-1.fc42
3.13.0-1.fc42
2
rpm
4.19.94-1.fc42
4.20.0-1.fc42
3
glibc-common
2.40.9000-1.fc42
2.40.9000-6.fc42
3
p11-kit
0.25.5-3.fc41
0.25.5-4.fc42
3
cups-libs
1:2.4.10-7.fc42
1:2.4.11-1.fc42
3
rpm-build
4.19.94-1.fc42
4.20.0-1.fc42
3
glibc-gconv-extra
2.40.9000-1.fc42
2.40.9000-6.fc42
3
p11-kit-trust
0.25.5-3.fc41
0.25.5-4.fc42
3
glibc-devel
2.40.9000-1.fc42
2.40.9000-6.fc42
3
emacsclient
1:29.4-36.fc42
1:29.4-38.fc42
3
dwz
0.15-7.fc41
0.15-8.fc42
3
glibc-minimal-langpack
2.40.9000-1.fc42
2.40.9000-6.fc42
3
rpm-build-libs
4.19.94-1.fc42
4.20.0-1.fc42
4
glibc-headers-x86
2.40.9000-1.fc42
2.40.9000-6.fc42
4
authselect-libs
1.5.0-7.fc41
1.5.0-8.fc42
4
freetype-devel
2.13.2-6.fc41
2.13.3-1.fc42
4
fedora-release-common
42-0.3
42-0.4
B
fedora-release
42-0.3
42-0.4
B
authselect
1.5.0-7.fc41
1.5.0-8.fc42
B
fedora-release-identity-basic
42-0.3
42-0.4
B
perl-URI
5.29-1.fc42
5.30-1.fc42
B
complete
124566439
2024-10-08 09:40:21
aarch64
├124566589 ( build.log | root.log )
ppc64le
├124566588 ( build.log | root.log )
x86_64
└124566590 ( build.log | root.log )
ocaml-dune-site-devel
3.16.0-3.fc41
3.16.0-4.fc42
1
ocaml-ppx-deriving-yaml-devel
0.3.0-5.fc41
0.3.0-6.fc42
1
ocaml-dune-configurator-devel
3.16.0-3.fc41
3.16.0-4.fc42
1
ocaml-dune
3.16.0-3.fc41
3.16.0-4.fc42
1
ocaml-yaml-devel
3.2.0-12.fc41
3.2.0-13.fc42
1
ocaml-zmq-devel
5.3.0-4.fc41
5.3.0-5.fc42
1
ocaml-dune-configurator
3.16.0-3.fc41
3.16.0-4.fc42
2
ocaml-bos-devel
0.2.1-22.fc42
0.2.1-23.fc42
2
ocaml-zmq
5.3.0-4.fc41
5.3.0-5.fc42
2
ocaml-ctypes
0.23.0-1.fc41
0.23.0-2.fc42
2
ocaml-logs-devel
0.7.0-22.fc42
0.7.0-23.fc42
2
ocaml-stdune-devel
3.16.0-3.fc41
3.16.0-4.fc42
2
ocaml-dune-site
3.16.0-3.fc41
3.16.0-4.fc42
2
ocaml-ppx-deriving-yaml
0.3.0-5.fc41
0.3.0-6.fc42
2
ocaml-dune-private-libs-devel
3.16.0-3.fc41
3.16.0-4.fc42
2
ocaml-dune-private-libs
3.16.0-3.fc41
3.16.0-4.fc42
2
ocaml-yaml
3.2.0-12.fc41
3.2.0-13.fc42
2
ocaml-ctypes-devel
0.23.0-1.fc41
0.23.0-2.fc42
2
ocaml-bos
0.2.1-22.fc42
0.2.1-23.fc42
2
ocaml-logs
0.7.0-22.fc42
0.7.0-23.fc42
2
ocaml-ordering
3.16.0-3.fc41
3.16.0-4.fc42
3
ocaml-dyn
3.16.0-3.fc41
3.16.0-4.fc42
3
ocaml-stdune
3.16.0-3.fc41
3.16.0-4.fc42
3
ocaml-dyn-devel
3.16.0-3.fc41
3.16.0-4.fc42
3
ocaml-ordering-devel
3.16.0-3.fc41
3.16.0-4.fc42
3
Real build: frama-c-29.0-10.fc42
complete
124564542
2024-10-08 08:50:49
aarch64
├124564690 ( build.log | root.log )
ppc64le
├124564691 ( build.log | root.log )
s390x
├124564692 ( build.log | root.log )
x86_64
└124564689 ( build.log | root.log )
ocaml-lwt-devel
5.7.0-13.fc41
5.8.0-1.fc42
3
ocaml-lwt
5.7.0-13.fc41
5.8.0-1.fc42
3
shadow-utils
2:4.16.0-4.fc42
2:4.16.0-5.fc42
4
debugedit
5.0-17.fc41
5.0-18.fc42
4
Real build: frama-c-29.0-9.fc42
complete
124486786
2024-10-06 21:56:40
aarch64
├124486870 ( build.log | root.log )
ppc64le
├124486871 ( build.log | root.log )
s390x
├124486872 ( build.log | root.log )
x86_64
└124486869 ( build.log | root.log )
No dependency changes
complete
124486453
2024-10-06 21:49:06
aarch64
├124486537 ( build.log | root.log )
ppc64le
├124486536 ( build.log | root.log )
x86_64
└124486538 ( build.log | root.log )
ocaml-why3-devel
1.7.2-8.fc41
1.7.2-9.fc42
1
why3
1.7.2-8.fc41
1.7.2-9.fc42
1
make
1:4.4.1-8.fc41
1:4.4.1-9.fc42
1
emacs-nw
1:29.4-33.fc42
1:29.4-36.fc42
1
python3-devel
3.13.0~rc2-3.fc42
3.13.0~rc3-1.fc42
1
python3
3.13.0~rc2-3.fc42
3.13.0~rc3-1.fc42
2
ocaml-why3
1.7.2-8.fc41
1.7.2-9.fc42
2
python3-libs
3.13.0~rc2-3.fc42
3.13.0~rc3-1.fc42
2
emacs-common
1:29.4-33.fc42
1:29.4-36.fc42
2
ocaml-re
1.11.0-9.fc41
1.13.3-1.fc42
2
pyproject-rpm-macros
1.15.0-1.fc42
1.15.1-1.fc42
2
librsvg2
2.57.1-9.fc42
2.59.1-1.fc42
2
ocaml-re-devel
1.11.0-9.fc41
1.13.3-1.fc42
2
libxcb
1.17.0-2.fc41
1.17.0-3.fc42
3
emacsclient
1:29.4-33.fc42
1:29.4-36.fc42
3
pyproject-srpm-macros
1.15.0-1.fc42
1.15.1-1.fc42
3
xz-libs
1:5.6.2-2.fc41
1:5.6.3-1.fc42
3
rsvg-pixbuf-loader
2.57.1-9.fc42
2.59.1-1.fc42
3
xz-devel
1:5.6.2-2.fc41
1:5.6.3-1.fc42
4
xkeyboard-config
2.42-2.fc41
2.43-1.fc42
4
libxcb-devel
1.17.0-2.fc41
1.17.0-3.fc42
4
xz
1:5.6.2-2.fc41
1:5.6.3-1.fc42
4
rav1e-libs
0.7.1-3.fc41
0.7.1-4.fc42
4
mesa-libgbm
24.2.3-4.fc42
24.2.4-1.fc42
B
mesa-libEGL
24.2.3-4.fc42
24.2.4-1.fc42
B
mesa-libGL
24.2.3-4.fc42
24.2.4-1.fc42
B
mesa-filesystem
24.2.3-4.fc42
24.2.4-1.fc42
B
hwdata
0.387-1.fc42
0.388-1.fc42
B
xxhash-libs
0.8.2-3.fc41
0.8.2-4.fc42
B
mesa-dri-drivers
24.2.3-4.fc42
24.2.4-1.fc42
B
mesa-libglapi
24.2.3-4.fc42
24.2.4-1.fc42
B
2024-10-06 21:48:59
Package dependencies resolved successfuly
2024-10-06 21:19:20
Package resolution failed
  • Problem: conflicting requests
    - nothing provides ocaml(Re) = 6af76a7e0d89517c94fa83f8826f7eec needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510888
    - nothing provides ocaml(Re__) = fe8218f136de4aba163b2624a990b7ba needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510888
    - nothing provides ocaml(Re__Automata) = f6853de4d06969a82994aa120476c110 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510888
    - nothing provides ocaml(Re__Category) = f884e36d09694beee5f3c85c0ae15b58 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510888
    - nothing provides ocaml(Re__Core) = ce128d16ad4ff28f8c836bbf35ff19dc needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510888
    - nothing provides ocaml(Re__Cset) = 6425582742cfe2145508a7ed4ce5bb67 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510888
    - nothing provides ocaml(Re__Pmark) = 28e13f44fa157f417d552cff666b706c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510888
    - nothing provides ocaml(Re__Str) = a57d81748eb8023c2fafc4ec3d24d06c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510888
    - nothing provides ocamlx(Re__Core) = 07538fbdc226e946146e9e96ec7e57d9 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510888
    - nothing provides ocamlx(Re__Emacs) = dd9016eafaf2faeb5f1d90a5a13bbce2 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510888
    - nothing provides ocamlx(Re__Str) = f5e1792230ae6ee989e548b7c31561cf needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510888
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues