Koschei - Agda

Agda

Package information

State

ok

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

1126

Manual priority

0

Static priority

0

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

glib2

2.82.2-1.fc41

2.82.5-1.fc41

2

pango

1.54.0-2.fc41

1.56.3-1.fc41

2

at-spi2-atk

2.54.0-1.fc41

2.54.1-1.fc41

3

atk

2.54.0-1.fc41

2.54.1-1.fc41

3

json-glib

1.10.0-1.fc41

1.10.6-1.fc41

4

pyproject-srpm-macros

1.17.0-1.fc41

1.18.1-1.fc41

4

libsoup3

3.6.4-1.fc41

3.6.5-1.fc41

4

at-spi2-core

2.54.0-1.fc41

2.54.1-1.fc41

4

expat

2.7.0-1.fc41

2.7.1-1.fc41

B

libusb1

1.0.27-9.fc41

1.0.28-2.fc41

B

openldap

2.6.8-7.fc41

2.6.9-1.fc41

B

gdb-minimal

16.2-1.fc41

16.2-2.fc41

B

show 2 more collapse

State overview

Groups

This package is not part of any global group.

Historical builds