The Debian package is actually libsimgrid-dev.

diff --git a/doc/doxygen/introduction.doc b/doc/doxygen/introduction.doc
index e091538..0851aff 100644 (file)
--- a/doc/doxygen/introduction.doc
+++ b/doc/doxygen/introduction.doc
@@ -105,19 +105,10 @@ available on the [online documentation][fn:4] and in the tutorials:
 
 ## Installing SimGrid
 
 
 ## Installing SimGrid
 

-    sudo apt-get install simgrid   
-    
-This tutorial requires simgrid 3.8 at last so you may need to get
-the [debian package](http://packages.debian.org/unstable/main/simgrid). Here is a shortcut:
-
-- AMD64: http://ftp.de.debian.org/debian/pool/main/s/simgrid/simgrid_3.8.1-2_amd64.deb
-- i386: http://ftp.de.debian.org/debian/pool/main/s/simgrid/simgrid_3.8.1-2_i386.deb
-
-Then
+    sudo apt-get install libsimgrid-dev

 
 

-~~~~{.sh}
-sudo dpkg -i simgrid_3.8*.deb
-~~~~
+This tutorial requires simgrid 3.8 at least so you may need to get
+the [debian packages](http://packages.debian.org/libsimgrid-dev).

 
 # Recommended Steps
 
 
 # Recommended Steps