Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

Test leanprover-community/lean#812 #19192

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Test leanprover-community/lean#812 #19192

Changes from 2 commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
d3d53b3
Test leanprover/lean#812
eric-wieser Jun 15, 2023
0805dc0
Update leanpkg.toml
eric-wieser Jun 15, 2023
d5309de
Update leanpkg.toml
eric-wieser Jun 20, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion leanpkg.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
[package]
name = "mathlib"
version = "0.1"
lean_version = "leanprover-community/lean:3.51.1"
lean_version = "eric-wieser/lean:no_confusion_again"
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I can never remember what the trick is here

path = "src"

[dependencies]