Skip to content

Adding Rocq Opam Version Support#135

Merged
Zimmi48 merged 1 commit intorocq-community:masterfrom
Durbatuluk1701:rocq_compat
May 14, 2025
Merged

Adding Rocq Opam Version Support#135
Zimmi48 merged 1 commit intorocq-community:masterfrom
Durbatuluk1701:rocq_compat

Commits

Commits on Mar 14, 2025