Skip to content

Merge pull request #398 from ejgallego/fix_cprimitive #406

Merge pull request #398 from ejgallego/fix_cprimitive

Merge pull request #398 from ejgallego/fix_cprimitive #406

Annotations

1 warning

build (4.10.x, test, coq.dev)

succeeded Mar 21, 2024 in 8m 4s