Code

[sp2019latest] [CI] Drop Coq < 8.16#1691

Code

Merged

JasonGross merged 1 commit intosp2019latestmit-plv/fiat-crypto:sp2019latestfrom sp2019latest+drop-8.15mit-plv/fiat-crypto:sp2019latest+drop-8.15Copy head branch name to clipboardOct 22, 2023

+4-7

Commits

Commits on Oct 22, 2023

• [sp2019latest] [CI] Drop Coq < 8.16

  Show description for 859d5b6
  JasonGross

  authored
  859d5b6