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

build config for coq 8.19.2

parent e028d36b
No related branches found
No related tags found
No related merge requests found
Pipeline #108257 canceled
Stage: build