diff options
| author | Maximilian Bosch <maximilian@mbosch.me> | 2020-08-10 10:13:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-10 10:13:08 +0200 |
| commit | fcb82c9181fb3922369b2bd4a2bbf6da83627b86 (patch) | |
| tree | 58f98e0c0e4781072734bd6eedf50518daa3d36d /pkgs/top-level/agda-packages.nix | |
| parent | b004e48368ba71e51df3caaf1faf01e0d42142e4 (diff) | |
| parent | 7602e05d849f9c58b7c3d32376334e85ea384180 (diff) | |
| download | nixpkgs-fcb82c9181fb3922369b2bd4a2bbf6da83627b86.tar nixpkgs-fcb82c9181fb3922369b2bd4a2bbf6da83627b86.tar.gz nixpkgs-fcb82c9181fb3922369b2bd4a2bbf6da83627b86.tar.bz2 nixpkgs-fcb82c9181fb3922369b2bd4a2bbf6da83627b86.tar.lz nixpkgs-fcb82c9181fb3922369b2bd4a2bbf6da83627b86.tar.xz nixpkgs-fcb82c9181fb3922369b2bd4a2bbf6da83627b86.tar.zst nixpkgs-fcb82c9181fb3922369b2bd4a2bbf6da83627b86.zip | |
Merge pull request #95046 from r-ryantm/auto-update/element-desktop
element-desktop: 1.7.2 -> 1.7.3
Diffstat (limited to 'pkgs/top-level/agda-packages.nix')
0 files changed, 0 insertions, 0 deletions