diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-09-25 10:44:18 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-09-25 11:59:51 +0100 |
| commit | 4dc31ee9717e25d8c6c8962b8414de66b9109f19 (patch) | |
| tree | e0eed35e847a789d8b6e28b34faffcb99d385466 /yellowsquid/packages/agda.scm | |
| parent | 5c227b28e54b76f3a0e780be3cb87b7ba95d10f9 (diff) | |
idris2-git: bump package version
Diffstat (limited to 'yellowsquid/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions