Koschei - frama-c

frama-c

Package information

State

ok

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

527

Manual priority

0

Static priority

0

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

systemd-libs

256.5-1.fc41

256.6-1.fc41

2

zlib-ng-compat

2.1.7-2.fc41

2.1.7-3.fc41

2

zlib-ng-compat-devel

2.1.7-2.fc41

2.1.7-3.fc41

4

hwdata

0.385-1.fc41

0.387-1.fc41

B

State overview

Groups

This package is not part of any global group.

Historical builds