Skip to content
Snippets Groups Projects
Commit 40f2cd5b authored by Lennard Gäher's avatar Lennard Gäher
Browse files

Update Makefile

parent 2078bd64
No related branches found
No related tags found
1 merge request!1Bump Coq Version to run on Apple Arm Processors
Pipeline #109866 failed
Stage: build