0816132人目の素数さん垢版 | 大砲2020/05/03(日) 15:37:44.00ID:f6MQMkc5 Ubuntu 20.04でRcmdrがビルドできないんですけど、これはソフトウェアが20.04に対応するまで待つしかないですか?