web-dev-qa-db-fra.com

Comment installer sage depuis un dépôt?

Les instructions à partir d'ici n'ont 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, je reçois:

$ 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 surmonter?

UPDATE

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
14.04package-managementsagemath
3
Suzan Cioc

Actuellement, le PPA de Sage ne publie un package binaire que 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

La page PPA de ce paquet ne répertorie que AMD64 dans la section Constructions.

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

2
muru