Sebastian Ullrich d96393ee47 doc: building Lean packages with Nix		2020-12-02 17:52:57 +01:00
..
emscripten.md
index.md	doc: Nix setup	2020-11-24 19:16:27 +01:00
msvc.md
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
ubuntu-16.04.md	doc: describe new bootstrap setup	2020-05-14 23:13:51 +02:00