Skip to content

Apple silicon compilation#7

Open
camlspotter wants to merge 4 commits into
proof-ninja:masterfrom
camlspotter:jun@0.3
Open

Apple silicon compilation#7
camlspotter wants to merge 4 commits into
proof-ninja:masterfrom
camlspotter:jun@0.3

OPAM fix

aeb0ffa
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs