| Mode | File | |
| 100644 | .gitignore | |
| 100644 | .gitlab-ci.yml | |
| 100644 | Makefile | |
| 100644 | Readme.md | |
| 100644 | WORKSPACE | |
| 040000 | app | |
| 040000 | nix | |
| 100644 | shell.nix |
| Mode | File | |
| 100644 | .gitignore | |
| 100644 | .gitlab-ci.yml | |
| 100644 | Makefile | |
| 100644 | Readme.md | |
| 100644 | WORKSPACE | |
| 040000 | app | |
| 040000 | nix | |
| 100644 | shell.nix |