diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-12-22 15:21:06 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-12-22 15:21:06 +0000 |
| commit | b5679ccc8616a31814517477e95d967735a1fb97 (patch) | |
| tree | 9baa6cf21b88d16cd2207ad6dc6bbec2af100862 /.guix-channel | |
| parent | 1839967d7bda24b31d5b3f19416d1ae5d943f884 (diff) | |
idris2-git: bump version.
Diffstat (limited to '.guix-channel')
0 files changed, 0 insertions, 0 deletions