Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
v1.0.0
Ana de Almeida Borges
@ana-borges
72050328
·
Change version in opam file
·
Jul 05, 2023
Release:
v1.0.0
Release for QRC1 Coq v1.0.0