frama-c

Package information

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

Scheduler parameters

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

emacs-nw
1:29.4-49.fc42
1:29.4-53.fc43
1
poppler-glib
24.08.0-2.fc42
25.02.0-1.fc43
2
gmp-devel
1:6.3.0-2.fc41
1:6.3.0-3.fc43
2
libzstd
1.5.6-3.fc42
1.5.7-1.fc43
2
glibc
2.40.9000-37.fc43
2.41.9000-1.fc43
2
harfbuzz
10.2.0-2.fc42
10.3.0-1.fc43
2
vim-filesystem
2:9.1.1081-1.fc43
2:9.1.1122-1.fc43
2
libtree-sitter
0.24.7-2.fc42
0.25.2-3.fc43
2
emacs-common
1:29.4-49.fc42
1:29.4-53.fc43
2
gmp
1:6.3.0-2.fc41
1:6.3.0-3.fc43
2
libzstd-devel
1.5.6-3.fc42
1.5.7-1.fc43
2
libpng
2:1.6.46-1.fc43
2:1.6.47-1.fc43
2
glibc-gconv-extra
2.40.9000-37.fc43
2.41.9000-1.fc43
3
gmp-c++
1:6.3.0-2.fc41
1:6.3.0-3.fc43
3
glibc-minimal-langpack
2.40.9000-37.fc43
2.41.9000-1.fc43
3
cups-libs
1:2.4.11-11.fc43
1:2.4.11-13.fc43
3
glibc-common
2.40.9000-37.fc43
2.41.9000-1.fc43
3
emacsclient
1:29.4-49.fc42
1:29.4-53.fc43
3
glibc-devel
2.40.9000-37.fc43
2.41.9000-1.fc43
3
poppler
24.08.0-2.fc42
25.02.0-1.fc43
3
harfbuzz-devel
10.2.0-2.fc42
10.3.0-1.fc43
4
libpng-devel
2:1.6.46-1.fc43
2:1.6.47-1.fc43
4
zstd
1.5.6-3.fc42
1.5.7-1.fc43
4
cups-filesystem
1:2.4.11-11.fc43
1:2.4.11-13.fc43
4
harfbuzz-cairo
10.2.0-2.fc42
10.3.0-1.fc43
B
harfbuzz-icu
10.2.0-2.fc42
10.3.0-1.fc43
B
mesa-libGL
25.0.0~rc3-1.fc43
25.0.0-1.fc43
B
mesa-libEGL
25.0.0~rc3-1.fc43
25.0.0-1.fc43
B
fedora-release-identity-basic
43-0.2
43-0.5
B
fedora-release
43-0.2
43-0.5
B
mesa-libgbm
25.0.0~rc3-1.fc43
25.0.0-1.fc43
B
mesa-dri-drivers
25.0.0~rc3-1.fc43
25.0.0-1.fc43
B
mesa-filesystem
25.0.0~rc3-1.fc43
25.0.0-1.fc43
B
fedora-release-common
43-0.2
43-0.5
B

State overview

Groups

This package is not part of any global group.

Historical builds

2024-10-06 21:07:11
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-6510866
    - nothing provides ocaml(Re__) = fe8218f136de4aba163b2624a990b7ba needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510866
    - nothing provides ocaml(Re__Automata) = f6853de4d06969a82994aa120476c110 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510866
    - nothing provides ocaml(Re__Category) = f884e36d09694beee5f3c85c0ae15b58 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510866
    - nothing provides ocaml(Re__Core) = ce128d16ad4ff28f8c836bbf35ff19dc needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510866
    - nothing provides ocaml(Re__Cset) = 6425582742cfe2145508a7ed4ce5bb67 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510866
    - nothing provides ocaml(Re__Pmark) = 28e13f44fa157f417d552cff666b706c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510866
    - nothing provides ocaml(Re__Str) = a57d81748eb8023c2fafc4ec3d24d06c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510866
    - nothing provides ocamlx(Re__Core) = 07538fbdc226e946146e9e96ec7e57d9 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510866
    - nothing provides ocamlx(Re__Emacs) = dd9016eafaf2faeb5f1d90a5a13bbce2 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510866
    - nothing provides ocamlx(Re__Str) = f5e1792230ae6ee989e548b7c31561cf needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510866
2024-10-06 20:52:02
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-6510800
    - nothing provides ocaml(Re__) = fe8218f136de4aba163b2624a990b7ba needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510800
    - nothing provides ocaml(Re__Automata) = f6853de4d06969a82994aa120476c110 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510800
    - nothing provides ocaml(Re__Category) = f884e36d09694beee5f3c85c0ae15b58 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510800
    - nothing provides ocaml(Re__Core) = ce128d16ad4ff28f8c836bbf35ff19dc needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510800
    - nothing provides ocaml(Re__Cset) = 6425582742cfe2145508a7ed4ce5bb67 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510800
    - nothing provides ocaml(Re__Pmark) = 28e13f44fa157f417d552cff666b706c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510800
    - nothing provides ocaml(Re__Str) = a57d81748eb8023c2fafc4ec3d24d06c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510800
    - nothing provides ocamlx(Re__Core) = 07538fbdc226e946146e9e96ec7e57d9 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510800
    - nothing provides ocamlx(Re__Emacs) = dd9016eafaf2faeb5f1d90a5a13bbce2 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510800
    - nothing provides ocamlx(Re__Str) = f5e1792230ae6ee989e548b7c31561cf needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510800
2024-10-06 20:38:31
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-6510710
    - nothing provides ocaml(Re__) = fe8218f136de4aba163b2624a990b7ba needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510710
    - nothing provides ocaml(Re__Automata) = f6853de4d06969a82994aa120476c110 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510710
    - nothing provides ocaml(Re__Category) = f884e36d09694beee5f3c85c0ae15b58 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510710
    - nothing provides ocaml(Re__Core) = ce128d16ad4ff28f8c836bbf35ff19dc needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510710
    - nothing provides ocaml(Re__Cset) = 6425582742cfe2145508a7ed4ce5bb67 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510710
    - nothing provides ocaml(Re__Pmark) = 28e13f44fa157f417d552cff666b706c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510710
    - nothing provides ocaml(Re__Str) = a57d81748eb8023c2fafc4ec3d24d06c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510710
    - nothing provides ocamlx(Re__Core) = 07538fbdc226e946146e9e96ec7e57d9 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510710
    - nothing provides ocamlx(Re__Emacs) = dd9016eafaf2faeb5f1d90a5a13bbce2 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510710
    - nothing provides ocamlx(Re__Str) = f5e1792230ae6ee989e548b7c31561cf needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510710
2024-10-06 20:24:49
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-6510658
    - nothing provides ocaml(Re__) = fe8218f136de4aba163b2624a990b7ba needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510658
    - nothing provides ocaml(Re__Automata) = f6853de4d06969a82994aa120476c110 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510658
    - nothing provides ocaml(Re__Category) = f884e36d09694beee5f3c85c0ae15b58 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510658
    - nothing provides ocaml(Re__Core) = ce128d16ad4ff28f8c836bbf35ff19dc needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510658
    - nothing provides ocaml(Re__Cset) = 6425582742cfe2145508a7ed4ce5bb67 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510658
    - nothing provides ocaml(Re__Pmark) = 28e13f44fa157f417d552cff666b706c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510658
    - nothing provides ocaml(Re__Str) = a57d81748eb8023c2fafc4ec3d24d06c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510658
    - nothing provides ocamlx(Re__Core) = 07538fbdc226e946146e9e96ec7e57d9 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510658
    - nothing provides ocamlx(Re__Emacs) = dd9016eafaf2faeb5f1d90a5a13bbce2 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510658
    - nothing provides ocamlx(Re__Str) = f5e1792230ae6ee989e548b7c31561cf needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510658
2024-10-06 20:11:51
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-6510645
    - nothing provides ocaml(Re__) = fe8218f136de4aba163b2624a990b7ba needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510645
    - nothing provides ocaml(Re__Automata) = f6853de4d06969a82994aa120476c110 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510645
    - nothing provides ocaml(Re__Category) = f884e36d09694beee5f3c85c0ae15b58 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510645
    - nothing provides ocaml(Re__Core) = ce128d16ad4ff28f8c836bbf35ff19dc needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510645
    - nothing provides ocaml(Re__Cset) = 6425582742cfe2145508a7ed4ce5bb67 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510645
    - nothing provides ocaml(Re__Pmark) = 28e13f44fa157f417d552cff666b706c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510645
    - nothing provides ocaml(Re__Str) = a57d81748eb8023c2fafc4ec3d24d06c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510645
    - nothing provides ocamlx(Re__Core) = 07538fbdc226e946146e9e96ec7e57d9 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510645
    - nothing provides ocamlx(Re__Emacs) = dd9016eafaf2faeb5f1d90a5a13bbce2 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510645
    - nothing provides ocamlx(Re__Str) = f5e1792230ae6ee989e548b7c31561cf needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510645
2024-10-06 20:05:13
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-6510632
    - nothing provides ocaml(Re__) = fe8218f136de4aba163b2624a990b7ba needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510632
    - nothing provides ocaml(Re__Automata) = f6853de4d06969a82994aa120476c110 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510632
    - nothing provides ocaml(Re__Category) = f884e36d09694beee5f3c85c0ae15b58 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510632
    - nothing provides ocaml(Re__Core) = ce128d16ad4ff28f8c836bbf35ff19dc needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510632
    - nothing provides ocaml(Re__Cset) = 6425582742cfe2145508a7ed4ce5bb67 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510632
    - nothing provides ocaml(Re__Pmark) = 28e13f44fa157f417d552cff666b706c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510632
    - nothing provides ocaml(Re__Str) = a57d81748eb8023c2fafc4ec3d24d06c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510632
    - nothing provides ocamlx(Re__Core) = 07538fbdc226e946146e9e96ec7e57d9 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510632
    - nothing provides ocamlx(Re__Emacs) = dd9016eafaf2faeb5f1d90a5a13bbce2 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510632
    - nothing provides ocamlx(Re__Str) = f5e1792230ae6ee989e548b7c31561cf needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510632
2024-10-06 18:45:00
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-6510543
    - nothing provides ocaml(Re__) = fe8218f136de4aba163b2624a990b7ba needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510543
    - nothing provides ocaml(Re__Automata) = f6853de4d06969a82994aa120476c110 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510543
    - nothing provides ocaml(Re__Category) = f884e36d09694beee5f3c85c0ae15b58 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510543
    - nothing provides ocaml(Re__Core) = ce128d16ad4ff28f8c836bbf35ff19dc needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510543
    - nothing provides ocaml(Re__Cset) = 6425582742cfe2145508a7ed4ce5bb67 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510543
    - nothing provides ocaml(Re__Pmark) = 28e13f44fa157f417d552cff666b706c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510543
    - nothing provides ocaml(Re__Str) = a57d81748eb8023c2fafc4ec3d24d06c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510543
    - nothing provides ocamlx(Re__Core) = 07538fbdc226e946146e9e96ec7e57d9 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510543
    - nothing provides ocamlx(Re__Emacs) = dd9016eafaf2faeb5f1d90a5a13bbce2 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510543
    - nothing provides ocamlx(Re__Str) = f5e1792230ae6ee989e548b7c31561cf needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510543
2024-10-06 18:30:25
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-6510505
    - nothing provides ocaml(Re__) = fe8218f136de4aba163b2624a990b7ba needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510505
    - nothing provides ocaml(Re__Automata) = f6853de4d06969a82994aa120476c110 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510505
    - nothing provides ocaml(Re__Category) = f884e36d09694beee5f3c85c0ae15b58 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510505
    - nothing provides ocaml(Re__Core) = ce128d16ad4ff28f8c836bbf35ff19dc needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510505
    - nothing provides ocaml(Re__Cset) = 6425582742cfe2145508a7ed4ce5bb67 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510505
    - nothing provides ocaml(Re__Pmark) = 28e13f44fa157f417d552cff666b706c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510505
    - nothing provides ocaml(Re__Str) = a57d81748eb8023c2fafc4ec3d24d06c needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510505
    - nothing provides ocamlx(Re__Core) = 07538fbdc226e946146e9e96ec7e57d9 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510505
    - nothing provides ocamlx(Re__Emacs) = dd9016eafaf2faeb5f1d90a5a13bbce2 needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510505
    - nothing provides ocamlx(Re__Str) = f5e1792230ae6ee989e548b7c31561cf needed by ocaml-why3-devel-1.7.2-8.fc41.x86_64 from primary-f42-build-6510505
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues