Code

Update coq-library-fol for 8.20#3334

Code

Merged

palmskog merged 2 commits intocoq:mastercoq/opam:masterfrom JoJoDeveloping:masterJoJoDeveloping/opam:masterCopy head branch name to clipboardFeb 6, 2025

+35

Commits

Commits on Feb 5, 2025

• Add coq-library-fol update for 8.20

  JoJoDeveloping

  committed
  e51fb67

  Copy full SHA for e51fb67

Commits on Feb 6, 2025

• Update released/packages/coq-library-fol/coq-library-fol.1.0+8.20/opam

  palmskog

  authored
  15c3211

  Copy full SHA for 15c3211