Sebastian Ullrich 7b3e799a14 fix: leanpkg: lean version string		2021-01-02 22:21:31 +01:00
..
.gitignore
Git.lean
LeanVersion.lean	fix: leanpkg: lean version string	2021-01-02 22:21:31 +01:00
Manifest.lean
Proc.lean
Resolve.lean
Toml.lean