+ <dt>.deb package</dt>
+
+ <dd>Matita is part of the <a
+ href="http://packages.debian.org/source/matita"> Debian archive</a>, you can
+ install it with the following command:<pre>aptitude install matita matita-standard-library</pre>
+ </dd>
+
+ <dt>Sources</dt>
+
+ <dd>You can download the <a
+ href="FILES/matita_0.5.7.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
+1ac14d26a3d742206b6d063f4e2d7038
+ )
+ and
+ build it by yourself, following the <a
+ href="docs/manual/html/sec_install.html">installation instructions</a>.
+ The build process, due to the high number of external dependency is not
+ trivial, we thus suggest you to try the live CD or the .deb package
+ first.</dd>
+ </dl>
+
+ <h2>License<a name="license"></a></h2>
+ <p>