SML# 2.0.0をLinuxMint17.1に入れようとしたけれど、 SML#はlib32gmp-devというパッケージに依存しており、lib32gmp-devは公式にはUbuntu12.04(Precise)=LinuxMint13までしかない。 そのため、そのままではパッケージが足りずインストール出来ない。 そこでl…