diff options
author | ajs124 <ajs124@users.noreply.github.com> | 2022-11-20 14:02:35 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-20 14:02:35 +0100 |
commit | 6638106edfd3e7a1232c356c9ae4d672e5344753 (patch) | |
tree | 760c9385ef87bbebaf4018fef5846611b7ec5cfa /pkgs/stdenv/generic/make-derivation.nix | |
parent | 86481573b0f727ba55c9fb8d5a410a51575cc872 (diff) | |
parent | acd2a0301062af4ab6a09242212d79a23442c570 (diff) |
Merge pull request #201108 from wegank/gsl-1-drop
gsl_1: drop
Diffstat (limited to 'pkgs/stdenv/generic/make-derivation.nix')
0 files changed, 0 insertions, 0 deletions