Code

Update .gitmodules to use 8.9#86

Code

Open

agrarpan wants to merge 4 commits intomasteruwplse/PUMPKIN-PATCH:masterfrom pumpkin-patch-coq-8.9uwplse/PUMPKIN-PATCH:pumpkin-patch-coq-8.9Copy head branch name to clipboard

+6

Commits

Commits on Jul 3, 2024

• Update .gitmodules to use 8.9

  Show description for e02d0b4
  agrarpan

  authored
  e02d0b4

  Copy full SHA for e02d0b4

• Update README.md

  agrarpan

  authored
  53cd1f0

  Copy full SHA for 53cd1f0

• Update README.md

  agrarpan

  authored
  1d60300

  Copy full SHA for 1d60300

Commits on Jul 17, 2024

• Update README.md

  agrarpan

  authored
  299c325

  Copy full SHA for 299c325