diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2024-02-22 15:11:02 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2024-02-22 15:11:02 +0000 |
| commit | 05c7ebd116d695826bb07fe23532e7d1f6cd2969 (patch) | |
| tree | 1b0a87789a899f474037e9527bf53afb7d9dfffb /.guix-channel | |
| parent | 60295c0c8f0c7ae76ee8a171f80160791ab122c1 (diff) | |
idris2-elab-util: new package
Diffstat (limited to '.guix-channel')
0 files changed, 0 insertions, 0 deletions