diff options
author | markuskowa <markus.kowalewski@gmail.com> | 2018-12-20 10:30:20 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-20 10:30:20 +0100 |
commit | 88d52d89e2b8060e1d682a874415c39683b9738f (patch) | |
tree | 4404fb52728199c8bbdef3c7d52f6c47c8c366ae /pkgs/development/coq-modules/coqprime | |
parent | 19056fa6f7429fd261fc652a82b33657f933f921 (diff) | |
parent | d60b9b10101020ddbab0cb400d16977acedae502 (diff) | |
download | nixlib-88d52d89e2b8060e1d682a874415c39683b9738f.tar nixlib-88d52d89e2b8060e1d682a874415c39683b9738f.tar.gz nixlib-88d52d89e2b8060e1d682a874415c39683b9738f.tar.bz2 nixlib-88d52d89e2b8060e1d682a874415c39683b9738f.tar.lz nixlib-88d52d89e2b8060e1d682a874415c39683b9738f.tar.xz nixlib-88d52d89e2b8060e1d682a874415c39683b9738f.tar.zst nixlib-88d52d89e2b8060e1d682a874415c39683b9738f.zip |
Merge pull request #52546 from betaboon/patch-2
soapysdr: fix extraPackages support
Diffstat (limited to 'pkgs/development/coq-modules/coqprime')
0 files changed, 0 insertions, 0 deletions