Adapt to Coq/Coq#18164 - Githubissues

mit-plv / cross-crypto

Connecting computational and symbolic crypto models

MIT License

8 stars 19 forks source link

Closed Villetaneuse closed 10 months ago

Villetaneuse commented 10 months ago

Thank you very much @andres-erbsen. Could you please also bump fcf to the corresponding commit?