diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-12-26 22:44:42 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-12-26 22:44:42 +0000 |
| commit | a6a7fd06287561be92af7e1c51bb33b3b602c264 (patch) | |
| tree | 76f80232c203d7e5086ad445d58cc179ec0033ce /.guix-authorizations | |
| parent | 91bec504b0cc4471814d553fe415456f2a4f2f83 (diff) | |
agda-stdlib: initial commit
Diffstat (limited to '.guix-authorizations')
0 files changed, 0 insertions, 0 deletions