diff options
| author | c0bw3b <c0bw3b@users.noreply.github.com> | 2022-02-06 22:52:34 +0100 |
|---|---|---|
| committer | Jonathan Ringer <jonringer@users.noreply.github.com> | 2022-02-06 16:56:17 -0800 |
| commit | 1d5453ca8ccbdf2d30749d3c68c2cb92fe94031e (patch) | |
| tree | c72a2450974bbb05d87f76413b7957f46cde2c1d /pkgs/development/idris-modules | |
| parent | cea0fa3f7d1037f9c43c8547fce20d0f2d570566 (diff) | |
| download | nixpkgs-1d5453ca8ccbdf2d30749d3c68c2cb92fe94031e.tar nixpkgs-1d5453ca8ccbdf2d30749d3c68c2cb92fe94031e.tar.gz nixpkgs-1d5453ca8ccbdf2d30749d3c68c2cb92fe94031e.tar.bz2 nixpkgs-1d5453ca8ccbdf2d30749d3c68c2cb92fe94031e.tar.lz nixpkgs-1d5453ca8ccbdf2d30749d3c68c2cb92fe94031e.tar.xz nixpkgs-1d5453ca8ccbdf2d30749d3c68c2cb92fe94031e.tar.zst nixpkgs-1d5453ca8ccbdf2d30749d3c68c2cb92fe94031e.zip | |
gpgstats: remove
Upstream does not exist anymore
Diffstat (limited to 'pkgs/development/idris-modules')
0 files changed, 0 insertions, 0 deletions