{
  "id": "gnuradio",
  "name": "GNU Radio",
  "homepage": "https://www.gnuradio.org/",
  "description": "GNU Radio is a free & open-source software development toolkit that provides signal processing capabilities.",
  "executables": [
    "gnuradio-companion",
    "grcc"
  ],
  "dotfiles": {
    "paths": [
      "~/.gnuradio/grc.conf"
    ],
    "secret": [],
    "side_effect": false
  }
}