diff options
| author | Marius Bakke <marius@gnu.org> | 2020-11-26 01:08:35 +0100 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2020-11-26 01:08:35 +0100 |
| commit | bff94a5a537c2c484f9f6e98cab75195c3dde9e7 (patch) | |
| tree | 56c58b40471048d57e3d8650967de47e3520418c /gnu/packages/agda.scm | |
| parent | c73a7f7d86c11de6649f12b749c035fd2b6fc1d0 (diff) | |
| parent | f36bee1416ffb1ce1111168bca82e7d0313d65dc (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions