Skip to content

ocamlPackages.elpi: 2.0.5 -> 2.0.6 #635

ocamlPackages.elpi: 2.0.5 -> 2.0.6

ocamlPackages.elpi: 2.0.5 -> 2.0.6 #635

Annotations

1 warning

metacoq-safechecker-plugin

succeeded Dec 16, 2024 in 42s