diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-09-29 16:16:03 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-09-29 16:16:03 +0100 |
| commit | 3f4ab2e2bf8748d502c66afc0de5a28fd927a804 (patch) | |
| tree | ea43c4161d8331070d81417d29e4ee4eff8d7b07 /.guix-authorizations | |
| parent | 4dc31ee9717e25d8c6c8962b8414de66b9109f19 (diff) | |
Remove agda libraries that are packaged by guix.
agda-stdlib: remove package
agda-categories: remove package
cubical: remove package
Diffstat (limited to '.guix-authorizations')
0 files changed, 0 insertions, 0 deletions