Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • core
  • step-index-class
  • new_master
4 results
Compare
Simon Spies's avatar
Merge branch 'bump_to_mac_arm_version' into 'master'
Simon Spies authored 
Bump Coq Version to run on Apple Arm Processors

See merge request !1
791af1e3
History
Simon Spies's avatar 791af1e3
History
Name Last commit Last update