diff options
| author | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-06-21 09:59:25 +0200 |
|---|---|---|
| committer | sterni <sternenseemann@systemli.org> | 2021-07-15 10:25:44 +0200 |
| commit | 27ff64e91987b9f0c0404c37b718764d37d138d6 (patch) | |
| tree | 0a1ba9859ab2803f4d5e873f75a6609ee46bc6d2 /nixos/tests/agda.nix | |
| parent | 873ebe97858b0483ca51ef0fcd7d34c813c1e0c2 (diff) | |
| download | nixpkgs-27ff64e91987b9f0c0404c37b718764d37d138d6.tar nixpkgs-27ff64e91987b9f0c0404c37b718764d37d138d6.tar.gz nixpkgs-27ff64e91987b9f0c0404c37b718764d37d138d6.tar.bz2 nixpkgs-27ff64e91987b9f0c0404c37b718764d37d138d6.tar.lz nixpkgs-27ff64e91987b9f0c0404c37b718764d37d138d6.tar.xz nixpkgs-27ff64e91987b9f0c0404c37b718764d37d138d6.tar.zst nixpkgs-27ff64e91987b9f0c0404c37b718764d37d138d6.zip | |
agdaPackages.standard-library: 1.6 -> 1.7
Diffstat (limited to 'nixos/tests/agda.nix')
0 files changed, 0 insertions, 0 deletions