diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-26 17:55:46 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-26 17:55:46 +0100 |
| commit | 96d4869421082d9e5b029aa64a67cb9f2f4b7b95 (patch) | |
| tree | c7cb876e9b964c43ff215b0d97a67a5c8348ad07 /.guix-channel | |
| parent | c4ffbe05df463151bfddf48095298c4232ef6a1c (diff) | |
agda-categories: bump version.
Upstream have stopped packaging an Everything file. Because guix strips
the git information from the source, the file has to be created
manually.
In future, this should be converted into a build phase.
Diffstat (limited to '.guix-channel')
0 files changed, 0 insertions, 0 deletions