Commit Graph

5 Commits

Author SHA1 Message Date
Patrick Stevens
f4678f910f General faff (#9) 2022-08-20 21:45:49 +01:00
Patrick Stevens
2463b3275b Use flakes (#6) 2022-02-06 14:40:14 +00:00
Smaug123
d483b6fa12 Add Lean again 2021-11-02 21:02:56 +00:00
Smaug123
7cd4c074c5 Fix up after latest nixpkgs update 2021-10-30 21:59:03 +01:00
Smaug123
72e4884436 Split out Python 2021-10-16 09:40:12 +01:00