search

mit-plv / fiat-crypto

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

[CI] [ArchLinux] Update keys #1806

Closed JasonGross closed 11 months ago

JasonGross commented 11 months ago

To avoid "Signature is unknown trust"

JasonGross commented 11 months ago

I think the packages just need updating