Sebastian Ullrich 607d788001 chore: leanpkg: secondary output to stderr		2021-01-19 19:06:01 +01:00
..
.gitignore
Git.lean	chore: leanpkg: always use master as default upstream branch, not version string	2021-01-02 22:00:30 +01:00
LeanVersion.lean	fix: leanpkg: lean version string	2021-01-02 22:21:31 +01:00
Manifest.lean
Proc.lean	chore: leanpkg: secondary output to stderr	2021-01-19 19:06:01 +01:00
Resolve.lean	chore: leanpkg: secondary output to stderr	2021-01-19 19:06:01 +01:00
Toml.lean