|
index.md
|
doc: Nix setup
|
2020-11-24 19:16:27 +01:00 |
|
msys2.md
|
chore: delete StyleCheck
|
2020-10-14 19:07:52 +02:00 |
|
nix.md
|
doc: building Lean packages with Nix
|
2020-12-02 17:52:57 +01:00 |
|
osx-10.9.md
|
chore: update build instructions
|
2020-03-25 12:45:52 +01:00 |
|
ubuntu-16.04.md
|
doc: describe new bootstrap setup
|
2020-05-14 23:13:51 +02:00 |
