about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/coqprime
diff options
context:
space:
mode:
authormarkuskowa <markus.kowalewski@gmail.com>2018-12-20 10:30:20 +0100
committerGitHub <noreply@github.com>2018-12-20 10:30:20 +0100
commit88d52d89e2b8060e1d682a874415c39683b9738f (patch)
tree4404fb52728199c8bbdef3c7d52f6c47c8c366ae /pkgs/development/coq-modules/coqprime
parent19056fa6f7429fd261fc652a82b33657f933f921 (diff)
parentd60b9b10101020ddbab0cb400d16977acedae502 (diff)
downloadnixlib-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