diff options
| author | Griffin Smith <root@gws.fyi> | 2020-06-15T15·54-0400 |
|---|---|---|
| committer | Griffin Smith <root@gws.fyi> | 2020-06-15T15·54-0400 |
| commit | f59e705eca2f3dc5a1cc7d9a9fad62ac67b95a04 (patch) | |
| tree | d7bbb5773cc61c53f5b4ebf495752826cee639d8 /home/platforms/linux.nix | |
| parent | 3c61742a3740a2f56433dd4334f15f735e523756 (diff) | |
break out an agda.nix
Diffstat (limited to 'home/platforms/linux.nix')
0 files changed, 0 insertions, 0 deletions