chore: Update Lean4 upstream to unofficial flake #115

Merged
aniva merged 6 commits from misc/build into dev 2024-11-15 14:40:48 -08:00
Owner
https://github.com/lenianiva/lean4-nix
aniva added the
category
organization
label 2024-10-14 21:30:48 -07:00
aniva self-assigned this 2024-10-14 21:30:48 -07:00
aniva added 1 commit 2024-10-14 21:30:48 -07:00
aniva added 1 commit 2024-10-26 13:49:25 -07:00
aniva added 1 commit 2024-10-26 17:52:48 -07:00
Author
Owner

Pending fix of darwin builds of Lean v4.12.0

Pending fix of darwin builds of Lean v4.12.0
aniva added 1 commit 2024-11-14 22:20:30 -08:00
aniva added 1 commit 2024-11-14 22:45:24 -08:00
aniva added 1 commit 2024-11-14 22:51:52 -08:00
aniva merged commit 6a7ff46fb0 into dev 2024-11-15 14:40:48 -08:00
aniva deleted branch misc/build 2024-11-15 14:40:48 -08:00
aniva added this to the 0.2.20 milestone 2024-11-15 14:40:52 -08:00
Sign in to join this conversation.
No description provided.