diff options
author | Kevin Cox <kevincox@kevincox.ca> | 2020-10-22 08:34:23 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-22 08:34:23 -0400 |
commit | 6c9d44d39c83ddbf26f87290dff23e6f35e31c21 (patch) | |
tree | a2d4895a16f70f319b456007a5e3e785d76d8584 /nixos | |
parent | 6de2304582e24931fde694962945105195ec1cc3 (diff) | |
parent | 3da3661ad3615912738a4dcb769f1672f463f0dc (diff) |
Merge pull request #98199 from turion/dev_agda_stdlib_1.4
agdaPackages.standard-library: 1.3 -> 1.4
Diffstat (limited to 'nixos')
0 files changed, 0 insertions, 0 deletions