frama-c

Package information

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

Scheduler parameters

Package is currently ineligible for scheduling due to following reasons:
  • Package dependencies are not resolvable
Tracked by Koschei
True
Current priority
0
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

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