Koschei - 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

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

No dependency changes

State overview

Fedora Rawhide

Groups

This package is not part of any global group.

Most recent builds

2024-10-03 17:49:54

Package resolution failed

No package found for: ocaml-ppx-import-devel

120874616

2024-09-02 02:50:14

x86_64

└120874634 ( build.log | root.log )

No dependency changes

120798691

2024-08-15 15:31:54

x86_64

└120798705 ( build.log | root.log )

No dependency changes

Real build: frama-c-29.0-8.fc41

121876471

2024-08-13 03:49:42

aarch64

├121876755 ( build.log | root.log )

ppc64le

├121876756 ( build.log | root.log )

s390x

├121876757 ( build.log | root.log )

x86_64

└121876754 ( build.log | root.log )

Dependencies for this build couldn't be processed

120394213

2024-07-13 10:12:58

x86_64

└120394226 ( build.log | root.log )

No dependency changes

2024-06-04 11:54:23

Package dependencies resolved successfuly