| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2024-05-17 | stuff | Marc Coquand | 1 | -18/+8 | |
| 2024-05-16 | test | Marc Coquand | 1 | -2/+3 | |
| 2024-05-16 | and again | Marc Coquand | 1 | -0/+1 | |
| 2024-05-16 | Test | Marc Coquand | 1 | -1/+0 | |
| 2024-05-16 | update flake.nix | Marc Coquand | 1 | -2/+2 | |
| 2024-05-16 | updates to building flake | Marc Coquand | 1 | -0/+14 | |