search

mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Other
717 stars 147 forks source link

Work around issue with brew and opam #1989

Closed JasonGross closed 1 day ago

JasonGross commented 1 day ago

Work around https://github.com/ocaml/opam-repository/pull/26891#issuecomment-2486598516