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

chore: Update Lean to v4.12.0 #108

Merged
aniva merged 4 commits from misc/version into dev 2024-10-08 09:49:09 -07:00
Conversation 2 Commits 4 Files Changed 8 +68 -129

4 Commits

Author SHA1 Message Date
Leni Aniva 2e1276c21c
chore: Update LSpec dependency 2024-10-08 00:15:30 -07:00
Leni Aniva c3494edc75
fix: Flake build 2024-10-06 16:46:39 -07:00
Leni Aniva 25dd1a32ba
Merge branch 'dev' into misc/version 2024-10-06 16:12:36 -07:00
Leni Aniva c3076cbb7d
chore: Update Lean to v4.12.0 2024-10-06 16:10:18 -07:00