libgmpをダウンロードしたら、こんなファイル名でした。 gmp-5.1.3.tar.lz lzって拡張子は初見なので調べてみるとlzipってなフォーマットらしい。 詳しくは ここ 。さて解凍するにはlzipコマンドをインストールしたのち、 $ lzip --decompress filename.lz …