PR #19192 Test leanprover-community/lean#812

Test leanprover-community/lean#812 #19192

eric-wieser wants to merge 3 commits into master from eric-wieser-patch-1

Test leanprover/lean#812

d3d53b33

eric-wieser added WIP

eric-wieser changed the title ~~Test leanprover/lean#812~~ Test leanprover-community/lean#812 2 years ago

Update leanpkg.toml

0805dc0f

eric-wieser commented on 2023-06-15

Update leanpkg.toml

d5309de6

kim-em added too-late

Reviewers

No reviews

Assignees

No one assigned

Labels

WIP too-late

Milestone

No milestone