RtlSdr is an Idris2 package that provides low level bindings to rtlsdr high level RTLSDR effects. Req $ sudo dnf install rtl-sdr-devel