diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2024-01-20 23:10:16 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2024-01-20 23:42:20 +0000 |
| commit | 198d178c70e44b83a672a9552215054a7a1966da (patch) | |
| tree | 528f3e85d40cdbbfc2718e0aea030809cb9755ca /.guix-authorizations | |
| parent | df6f16b70bd7c1ddbe80c86ce30f1497b51ffaa2 (diff) | |
idris2: 0.6.0 -> 0.7.0
idris2-git: bump version
Diffstat (limited to '.guix-authorizations')
0 files changed, 0 insertions, 0 deletions