aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 14 Pull Requests 2 Packages Projects Releases Wiki Activity

chore: Update Lean to v4.18.0 #185

Merged
aniva merged 2 commits from chore/version into dev 2025-04-08 10:59:54 -07:00
Conversation 0 Commits 2 Files Changed 8 +22 -22

2 Commits

Author SHA1 Message Date
Leni Aniva 13b03b602b
chore: Update flake 2025-04-08 10:59:37 -07:00
Leni Aniva b6c3f7d8fd
chore: Update Lean to v4.18.0 2025-04-08 10:58:38 -07:00