diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 14:27:52 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 14:27:52 +0000 |
| commit | d2018f42ee499264dc80fb20cbeb8f6a7994831d (patch) | |
| tree | f0b2053d628f495def01ec99b2ef10f892d22bf2 /.guix-channel | |
| parent | ec260670d6b8ce0c5da9ff1aed2a76d5ab7a5496 (diff) | |
build-system: create agda-build-system
Diffstat (limited to '.guix-channel')
0 files changed, 0 insertions, 0 deletions