From: Mitsworth S. <inf...@gm...> - 2019-10-28 07:20:39
|
Además da un error que creo que ya os lo habrá comentado alguien ya que lo escribí en askubuntu On Sun, 27 Oct 2019, 19:33 Mitsworth SCZD, <inf...@gm...> wrote: > Buenas, quiero instalar maxima en ubuntu en la version 18.04 LTS pero no > encuentro la manera de hacerlo, he intentadp hacerlo con > sudo add-apt-repository ppa:maxima-developers/maxima-nightly > sudo apt-get update > sudo apt-get install maxima wxmaxima > pero instala la version 5.42.2 y yo quiero la 5.43 > y la manera de instalarlo manualmente "Manually installing maxima on > debian-based systems" me lleva a un paquete rpm y no se como hacerlo > Muchas Gracias. > |