Package rocq-rocqide

• rocqide(1) — graphical interface for the Rocq Prover