Certora/gambit

Request: Provide platform dependent binaries as well for macOS

sambacha opened this issue · 0 comments

You can not create a universal binary without having both x86 and aarch64, so why not also include those build outputs as well as the universal as an option?

Cheers