Shortcuts

/
focus the search box
Escape
leave the search, or close a menu or this
r
cycle the refresh interval
t
cycle the theme
?
this list

← All states

cvc5

1.3.2-1 in the archive, ships a compiled extension

i
bugs
debci
graph
scan
states
sync
transition

Where it stands

pending, ours is 1.3.2-1+py315.2.
python3-dev-only
build-depend on python3-all-dev instead of python3-dev

Nothing recorded is waiting on this one.

What was sent

published, 1.3.2-1+py315.2, as work request 1216212.

What is known

Nothing has been read about this package yet. That is not the same as nothing being wrong.

Runs

No run in this phase yet — it is pending.