Merge pull request #213183 from doronbehar/pkg/gnuradio

gnuradio: 3.10.5.0 -> 3.10.5.1
This commit is contained in:
Weijia Wang 2023-01-28 20:09:06 +01:00 committed by GitHub
commit 9cb4d2b99d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -49,12 +49,12 @@
, versionAttr ? {
major = "3.10";
minor = "5";
patch = "0";
patch = "1";
}
}:
let
sourceSha256 = "sha256-NP7OH4kRulWpWxyHudIzCJPfjiiilgnhBlixmwOj70I=";
sourceSha256 = "sha256-D5Bsj70IHFOLPZQbaxkGdx7Lz94bXhCfnNfhZb3dDp4=";
featuresInfo = {
# Needed always
basic = {