Skip to content

[build] Fix use of plugin aliases in findlib loading. #148

[build] Fix use of plugin aliases in findlib loading.

[build] Fix use of plugin aliases in findlib loading. #148

Annotations

2 warnings

build (coqorg/coq:dev)

succeeded May 4, 2024 in 2m 6s