]>
| 2026-03-07 | Tom Hughes | Merge remote-tracking branch 'github/pull/829' | blob | commitdiff | raw |
| 2026-03-01 | Tom Hughes | Configure apt user directly using chef resources | blob | commitdiff | raw |
| 2024-08-06 | Tom Hughes | Give up on allowing shared access to APT repository | blob | commitdiff | raw | diff to current |
| 2024-08-05 | Tom Hughes | Configure idris as an APT repository | blob | commitdiff | raw | diff to current |