why3

Package information

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

Scheduler parameters

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

Most recent builds

Real build: why3-1.8.1-1.fc43
complete
133758454
2025-06-09 21:06:17
aarch64
├133758533 ( build.log | root.log )
ppc64le
├133758534 ( build.log | root.log )
s390x
├133758535 ( build.log | root.log )
x86_64
└133758532 ( build.log | root.log )
tree-sitter-srpm-macros
0.2.4-1.fc43
0.3.0-1.fc43
3
qt6-srpm-macros
6.9.0-2.fc43
6.9.1-1.fc43
3
mesa-libGL
25.1.1-1.fc43
25.1.3-1.fc43
B
mesa-filesystem
25.1.1-1.fc43
25.1.3-1.fc43
B
perl-Module-CoreList
1:5.20250421-1.fc43
1:5.20250528-1.fc43
B
libeconf
0.7.6-1.fc43
0.7.9-1.fc43
B
mesa-libEGL
25.1.1-1.fc43
25.1.3-1.fc43
B
mesa-libgbm
25.1.1-1.fc43
25.1.3-1.fc43
B
mesa-dri-drivers
25.1.1-1.fc43
25.1.3-1.fc43
B
Real build: why3-1.8.0-6.fc43
complete
133669429
2025-06-07 16:34:39
aarch64
├133669516 ( build.log | root.log )
ppc64le
├133669517 ( build.log | root.log )
s390x
├133669518 ( build.log | root.log )
x86_64
└133669515 ( build.log | root.log )
No dependency changes
complete
133668992
2025-06-07 16:19:07
aarch64
├133669074 ( build.log | root.log )
ppc64le
├133669073 ( build.log | root.log )
x86_64
└133669075 ( build.log | root.log )
java-21-openjdk-devel
1:21.0.7.0.6-1.fc43
1:21.0.7.0.6-2.fc43
1
ocaml-apron-devel
0.9.15-6.fc42
0.9.15-7.fc43
1
ocaml-mlgmpidl-devel
1.3.0-13.fc42
1.3.0-14.fc43
2
java-21-openjdk
1:21.0.7.0.6-1.fc43
1:21.0.7.0.6-2.fc43
2
ocaml-mlgmpidl
1.3.0-13.fc42
1.3.0-14.fc43
2
apron-devel
0.9.15-6.fc42
0.9.15-7.fc43
2
libcurl
8.14.0-1.fc43
8.14.1-1.fc43
2
ocaml-apron
0.9.15-6.fc42
0.9.15-7.fc43
2
openssl-libs
1:3.5.0-3.fc43
1:3.5.0-5.fc43
3
file
5.46-2.fc43
5.46-4.fc43
3
java-21-openjdk-headless
1:21.0.7.0.6-1.fc43
1:21.0.7.0.6-2.fc43
3
annobin-plugin-gcc
12.95-1.fc43
12.96-1.fc43
3
lua-libs
5.4.7-3.fc43
5.4.8-1.fc43
3
krb5-libs
1.21.3-5.fc42
1.21.3-6.fc43
3
apron
0.9.15-6.fc42
0.9.15-7.fc43
3
file-libs
5.46-2.fc43
5.46-4.fc43
4
curl
8.14.0-1.fc43
8.14.1-1.fc43
4
annobin-docs
12.95-1.fc43
12.96-1.fc43
4
perl-Business-ISBN-Data
20250521.001-1.fc43
20250605.001-1.fc43
B
2025-06-07 16:18:59
Package dependencies resolved successfuly
2025-06-07 15:28:06
Package resolution failed
  • Problem: conflicting requests
    - nothing provides ocaml(Mpf) = a0a3bb70b7f20754ca17dac516db0b21 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
    - nothing provides ocaml(Mpfr) = 3986f19b0b34ab89059bc7efe37926b4 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
    - nothing provides ocaml(Mpz) = a3e5638c502e05ed65b11cbac6ec6ebd needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
    - nothing provides ocamlx(Mpq) = b5536834422798cc98c2013c152e1731 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
    - nothing provides ocamlx(Mpqf) = 68374f2ab9774ae9be7b3dac2621222a needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
    - nothing provides ocamlx(Mpzf) = 7749490e03cbce017f9ee11e72ec50a4 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
    - nothing provides ocamlx(Mpfr) = 77d8aa610e33c3f2fa677b698fe86bfa needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
    - nothing provides ocamlx(Mpfrf) = c36b13dae5dba2dd6d2d30ac0a268072 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
2025-06-07 14:20:08
Package resolution failed
  • Problem: conflicting requests
    - nothing provides ocaml(Mpf) = a0a3bb70b7f20754ca17dac516db0b21 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
    - nothing provides ocaml(Mpfr) = 3986f19b0b34ab89059bc7efe37926b4 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
    - nothing provides ocaml(Mpz) = a3e5638c502e05ed65b11cbac6ec6ebd needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
    - nothing provides ocamlx(Mpq) = b5536834422798cc98c2013c152e1731 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
    - nothing provides ocamlx(Mpqf) = 68374f2ab9774ae9be7b3dac2621222a needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
    - nothing provides ocamlx(Mpzf) = 7749490e03cbce017f9ee11e72ec50a4 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
    - nothing provides ocamlx(Mpfr) = 77d8aa610e33c3f2fa677b698fe86bfa needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
    - nothing provides ocamlx(Mpfrf) = c36b13dae5dba2dd6d2d30ac0a268072 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
2025-06-07 13:17:24
Package resolution failed
  • Problem: conflicting requests
    - nothing provides ocaml(Mpf) = a0a3bb70b7f20754ca17dac516db0b21 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580300
    - nothing provides ocaml(Mpfr) = 3986f19b0b34ab89059bc7efe37926b4 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580300
    - nothing provides ocaml(Mpz) = a3e5638c502e05ed65b11cbac6ec6ebd needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580300
    - nothing provides ocamlx(Mpq) = b5536834422798cc98c2013c152e1731 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580300
    - nothing provides ocamlx(Mpqf) = 68374f2ab9774ae9be7b3dac2621222a needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580300
    - nothing provides ocamlx(Mpzf) = 7749490e03cbce017f9ee11e72ec50a4 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580300
    - nothing provides ocamlx(Mpfr) = 77d8aa610e33c3f2fa677b698fe86bfa needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580300
    - nothing provides ocamlx(Mpfrf) = c36b13dae5dba2dd6d2d30ac0a268072 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580300
2025-06-07 11:34:43
Package resolution failed
  • Problem: conflicting requests
    - nothing provides ocaml(Mpf) = a0a3bb70b7f20754ca17dac516db0b21 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580288
    - nothing provides ocaml(Mpfr) = 3986f19b0b34ab89059bc7efe37926b4 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580288
    - nothing provides ocaml(Mpz) = a3e5638c502e05ed65b11cbac6ec6ebd needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580288
    - nothing provides ocamlx(Mpq) = b5536834422798cc98c2013c152e1731 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580288
    - nothing provides ocamlx(Mpqf) = 68374f2ab9774ae9be7b3dac2621222a needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580288
    - nothing provides ocamlx(Mpzf) = 7749490e03cbce017f9ee11e72ec50a4 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580288
    - nothing provides ocamlx(Mpfr) = 77d8aa610e33c3f2fa677b698fe86bfa needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580288
    - nothing provides ocamlx(Mpfrf) = c36b13dae5dba2dd6d2d30ac0a268072 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580288
Previous history
Koschei version d778e3e
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues