Information about source package rocq

Available versions

Branch	Version	Maintainer
3.22-community	9.0.0-r0	Celeste <cielesti@protonmail.com>
3.23-community	9.0.0-r1	Celeste <cielesti@protonmail.com>
edge-community	9.0.0-r2	None