diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-05-13 16:31:07 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-05-13 16:31:07 +0100 |
| commit | 796cf590ec12a5255a5371e9b3d059e477344791 (patch) | |
| tree | fafeb479e3e3c0a4dc44be8a022f7f0739a4c295 /.guix-channel | |
| parent | 2debbb72dbfcd144df1f9640de45418cc1692700 (diff) | |
agda-soas: remove package
agda-stdlib-1.7: remove package
Diffstat (limited to '.guix-channel')
0 files changed, 0 insertions, 0 deletions