raspbian で PHPをインストールしようとしたらエラーになった。「いくつかのインデックスファイルのダウンロードに失敗しました」とも出る。
「raspberrypi php5 インストール」とかで検索しても、地味に原因が分からない。
ーーー
原因は /etc/apt/source.list.d/ だった。変な list ファイルがあって、それで apt-get の処理が止まってしまっていた。
今回は collabora.list がゴミファイル。これ自体を消すか、中にある行をコメントアウト(頭にシャープつける)で解決。今回はコメントアウトした。
再度PHPをインストール。無事完了。