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

[CI] Drop Arch Linux workaround #1797

Open JasonGross opened 11 months ago

JasonGross commented 11 months ago

This is not required once https://gitlab.archlinux.org/archlinux/packaging/packages/coq/-/merge_requests/2 is merged.