diff options
| author | Jonathan Ringer <jonringer117@gmail.com> | 2022-02-10 09:21:09 -0800 |
|---|---|---|
| committer | Jonathan Ringer <jonringer117@gmail.com> | 2022-02-10 09:21:09 -0800 |
| commit | 12fd8a77e154bda7f1ed6f30a355d42ef75a2c74 (patch) | |
| tree | c8f22398fa090090363688c49bd0b1b6d518c73b /pkgs/development/idris-modules | |
| parent | 1a17758b78d2d3afd9af7e22c29111d4f0d247d2 (diff) | |
| parent | 94edc09ac9c7cc11cbbd03b2ae7553b737d6b959 (diff) | |
| download | nixpkgs-12fd8a77e154bda7f1ed6f30a355d42ef75a2c74.tar nixpkgs-12fd8a77e154bda7f1ed6f30a355d42ef75a2c74.tar.gz nixpkgs-12fd8a77e154bda7f1ed6f30a355d42ef75a2c74.tar.bz2 nixpkgs-12fd8a77e154bda7f1ed6f30a355d42ef75a2c74.tar.lz nixpkgs-12fd8a77e154bda7f1ed6f30a355d42ef75a2c74.tar.xz nixpkgs-12fd8a77e154bda7f1ed6f30a355d42ef75a2c74.tar.zst nixpkgs-12fd8a77e154bda7f1ed6f30a355d42ef75a2c74.zip | |
Merge remote-tracking branch 'origin/master' into staging-next
Conflicts: pkgs/top-level/aliases.nix
Diffstat (limited to 'pkgs/development/idris-modules')
0 files changed, 0 insertions, 0 deletions