Mac Malone 12537427c2 Fix some errors when running leanpkg2 in executable form		2021-06-07 05:30:17 -04:00
..
Build.lean	Fix some errors when running leanpkg2 in executable form	2021-06-07 05:30:17 -04:00
Cli.lean	Update init to produce package.lean	2021-06-06 21:56:58 -04:00
Git.lean	Refactor materlize / git code	2021-06-02 18:19:31 -04:00
Init.lean	Update init to produce package.lean	2021-06-06 21:56:58 -04:00
LeanConfig.lean	Update init to produce package.lean	2021-06-06 21:56:58 -04:00
LeanVersion.lean	Port over Leanpkg and get an example building	2021-05-29 08:54:48 -04:00
Make.lean	Fix some errors when running leanpkg2 in executable form	2021-06-07 05:30:17 -04:00
Package.lean	Refactored away the old notion of a manifest	2021-06-06 19:27:18 -04:00
Proc.lean	Port over Leanpkg and get an example building	2021-05-29 08:54:48 -04:00
Resolve.lean	The solved dependency list no longer includes the root package	2021-06-06 23:04:52 -04:00