Skip to content
Snippets Groups Projects
Commit a9f247da authored by Hai Dang's avatar Hai Dang
Browse files

Merge branch 'hai/coq9.0rc1' into 'master' 

fix to be compatible with Rocq 9.0+rc1

See merge request !44
parents 0ea042c5 1bceed49
No related branches found
No related tags found
1 merge request!44fix to be compatible with Rocq 9.0+rc1
Pipeline #115064 failed