04491321 - sqlite-lean

chore: update leanprover toolchain

Changes

1 changed files (+1/-1)

lean-toolchain
- @@ -1,1 +1,1 @@
  - leanprover/lean4:4.9.0 + leanprover/lean4:4.10.0

Authored by: BRonen
Authored at: 2025-02-19 14:02:31 -0300
Committed by: BRonen
Committed at: 2025-02-19 14:02:31 -0300
Object name: 044913214ce5b1548b3a646cf59eb7d650bc7875
Parent: 5eddf360