tu tapes su
tu donnes le mdp
tu mets à jour la base de données des paquets disponibles dans les différents miroirs qui sont mentionnés dans le fichier /etc/apt/sources.list:
apt-get update
tu en profites pour mettre à jour l´ensemble du système:
apt-get upgrade
tu recherches mercury:
apt-cache search mercury
par sécurité tu peux faire une simulation d´installation:
apt-get install -s mercury
si tout est ok, tu installes:
apt-get install mercury
accessoirement tu peux vider le cache qui se trouve dans /var/cache/apt/archives/ en tapant:
apt-get clean
man apt-get
apt-cache show mercury
908:root@xxxxxx:/var/cache/apt/archives# apt-cache show mercury
Package: mercury
Priority: optional
Section: devel
Installed-Size: 109388
Maintainer: Peter Hawkins <peterh@debian.org>
Architecture: i386
Version: 0.11.0.rotd.20040511-5
Depends: libc6 (>= 2.3.2.ds1-4), make
Conflicts: mmake
Filename:
pool/main/m/mercury/mercury_0.11.0.rotd.20040511-5
_i386.deb
Size: 25313164
MD5sum: 2a0d3c1ccb80f4c36e01c5c867a84c56
Description: A new logic/functional programming language
Mercury is a new logic/functional programming language, which combines
the clarity and expressiveness of declarative programming with advanced
static analysis and error detection features. Its highly optimized
execution algorithm delivers efficiency far in excess of existing logic
programming systems, and close to conventional programming
systems. Mercury addresses the problems of large-scale program
development, allowing modularity, separate compilation, and numerous
optimization/time trade-offs.
.
This package contains all the files required for developing programs
in the Mercury language.
ps: il y a aussi la commande apt-file qui est sympa mais il faut l´installer.