diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-04-01 00:02:39 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-04-01 00:02:39 +0200 |
| commit | 571fb008a576378883c053be186d2c620290ea39 (patch) | |
| tree | 5279a2c2772a9b76299a48d697d568f208a89722 /gnu/packages/agda.scm | |
| parent | 7c86fdda7ceed11377b0e17b47c91598be59be52 (diff) | |
| parent | f125c5a5ea03d53749f45d310694b79241d5888d (diff) | |
| download | guix-571fb008a576378883c053be186d2c620290ea39.tar guix-571fb008a576378883c053be186d2c620290ea39.tar.gz | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions