3 votes

Comment installer sage à partir d'un dépôt ?

Instructions à partir d'ici n'a pas fonctionné.

Instructions :

apt-add-repository -y ppa:aims/sagemath
apt-get update
apt-get install sagemath-upstream-binary

Après la dernière commande, j'obtiens :

$ sudo apt-get install sagemath-upstream-binary
Reading package lists... Done
Building dependency tree
Reading state information... Done
Package sagemath-upstream-binary is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source

E: Package 'sagemath-upstream-binary' has no installation candidate

Comment y remédier ?

MISE À JOUR

Vérifier la commande

$ sudo grep sage /etc/apt/sources.list.d/ -R
/etc/apt/sources.list.d/aims-sagemath-trusty.list.save:deb http://ppa.launchpad.net/aims/sagemath/ubuntu trusty main
/etc/apt/sources.list.d/aims-sagemath-trusty.list.save:# deb-src http://ppa.launchpad.net/aims/sagemath/ubuntu trusty main
/etc/apt/sources.list.d/aims-sagemath-trusty.list:deb http://ppa.launchpad.net/aims/sagemath/ubuntu trusty main
/etc/apt/sources.list.d/aims-sagemath-trusty.list:# deb-src http://ppa.launchpad.net/aims/sagemath/ubuntu trusty main
/etc/apt/sources.list.d/aims-sagemath-trusty.list:# deb-src http://ppa.launchpad.net/aims/sagemath/ubuntu trusty main

2voto

muru Points 180007

Le PPA Sage ne publie actuellement qu'un paquetage binaire pour les systèmes 64 bits :

$ grep '^Package' /var/lib/apt/lists/ppa.launchpad.net_aims*_Packages
/var/lib/apt/lists/ppa.launchpad.net_aims_sagemath_ubuntu_dists_trusty_main_binary-amd64_Packages:Package: sagemath-upstream-binary
/var/lib/apt/lists/ppa.launchpad.net_aims_sagemath_ubuntu_dists_trusty_main_binary-amd64_Packages:Package: sagemath-optional
/var/lib/apt/lists/ppa.launchpad.net_aims_sagemath_ubuntu_dists_trusty_main_binary-i386_Packages:Package: sagemath-optional

En Page PPA pour ce paquet ne mentionne que amd64 dans la section Builds.

Même dans une VM, il n'y a aucune raison de ne pas utiliser le 64 bits. Installez donc Ubuntu 64 bits.

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X