diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2024-04-05 12:41:20 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2024-04-05 12:41:20 +0100 |
| commit | af9fc7de49f67036bdf35006cebf4b14d5151481 (patch) | |
| tree | 2be6bea076ad2365e92ecdb764a409f3b7bbe042 /.guix-channel | |
| parent | 7890a219432fdea4bc4f5391a9b03d0ce20700ce (diff) | |
idris2-api: match Idris 2 version.
Diffstat (limited to '.guix-channel')
0 files changed, 0 insertions, 0 deletions