diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-07 12:27:25 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-07 12:27:25 +0100 |
| commit | 1849e2021c177d8b61e766d739098ea94b7f1b0a (patch) | |
| tree | 96a2519aefa8de0ba98a0246a2a18da0a1a65e53 /.guix-channel | |
| parent | 7535d5de1492362b9ef5f9ded0266cf2116b1133 (diff) | |
idris2-git: bump version.
Diffstat (limited to '.guix-channel')
0 files changed, 0 insertions, 0 deletions