Update .gitmodules to use 8.9

uwplse / PUMPKIN-PATCH

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

MIT License

51 stars 2 forks source link

Open agrarpan opened 4 months ago

agrarpan commented 4 months ago

Redirecting git submodules to the 8.9 branches for the dependencies