Commit Graph

4 Commits

Author SHA1 Message Date
Jorge Acereda
9b08b6df3c Merge 2020-05-11 16:10:35 +02:00
Jorge Acereda
686d32c395 Fix Linux build on NixOS. 2020-05-11 16:08:40 +02:00
Jorge Acereda
e6b05f4922 Switch to default compiler. 2019-09-21 00:35:57 +02:00
Jorge Acereda
dc8e9070fe Add default.nix. 2019-09-20 23:25:53 +02:00