diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-12-27 13:05:28 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-12-27 13:05:28 +0000 |
| commit | 20ab69dfaf1c38d556e9d45b54c4e92c92fd07bf (patch) | |
| tree | 3441dc2d5896dbc8b9f907354c8f25b5406daacd /.guix-authorizations | |
| parent | 4ab43dd126cd256ed704cdc2611710b07570b0fd (diff) | |
agda-stdlib: fix missing `.agdai` files.
Diffstat (limited to '.guix-authorizations')
0 files changed, 0 insertions, 0 deletions