diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-02-11 16:04:03 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-02-11 16:05:03 +0000 |
| commit | dd2e2a0c76a3042e17bda94115bded50eeeee94c (patch) | |
| tree | c8d3913b17308204bb93152daf4ef269dd7b7185 /.guix-channel | |
| parent | 5dc2173bbd2408db6c4c98d4700c035e27d2d728 (diff) | |
idris2-git: bump version
Diffstat (limited to '.guix-channel')
0 files changed, 0 insertions, 0 deletions