02/07/26 23:15
debianの場合でしたら
これを参照してください MLのsynthepian@uol.com.br さんによると
URLﾘﾝｸ(www.ma.utexas.edu)
/etc/apt/sources.listに deb-srcのサイトを追加してから
apt-get update
apt-get upgrade
fakeroot apt-get -q -b source maxima
02/07/26 23:15
debianの場合でしたら
これを参照してください MLのsynthepian@uol.com.br さんによると
URLﾘﾝｸ(www.ma.utexas.edu)
/etc/apt/sources.listに deb-srcのサイトを追加してから
apt-get update
apt-get upgrade
fakeroot apt-get -q -b source maxima