お世話になります。
Armadillo-IoT G3(Linux9(stretch))をgcc7へアップグレードしたいのですが、Debianの公式サイトで公開されているdebファイルをdpkgコマンドで手動で行ったところ、設定中の表示が出てそのまま終わってしまい、またaptitudeコマンドで自動で行おうとしたものの今度はgcc-7が見つからないと言われました。

Armadillo-IoT G3でgcc7へアップグレードされた方いましたらご教示ください。