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

fix Debian CI #1946

Closed JasonGross closed 3 months ago

JasonGross commented 3 months ago

Does not fix things, but seems to help a bit anyway, let's merge