diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 14:30:19 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 14:30:19 +0000 |
| commit | 644aa85ed577fc56ffd1f2c884fdf372ea5b02e7 (patch) | |
| tree | d53aa53e09e54aa5aaaf0a6ab70d860987c46717 /.guix-authorizations | |
| parent | 96d1b4fff570575337fa5d01aae878e6255c665f (diff) | |
agda-categories: new package
Diffstat (limited to '.guix-authorizations')
0 files changed, 0 insertions, 0 deletions