+
+ <h2>Cluster .cs.unibo.it.<a name="clustercs"></a></h2>
+ <p>
+ The following repository contains the version of Matita installed
+ in the Ercolani laboratory, currently running Ubuntu Jaunty.
+ </p>
+ <pre>
+ deb http://matita.cs.unibo.it/CLUSTERCS ./
+ deb-src http://matita.cs.unibo.it/CLUSTERCS ./
+ </pre>
+ <p>
+ The same version is also available for Ubuntu Hardy (LTS)
+ </p>
+ <pre>
+ deb http://matita.cs.unibo.it/UBUNTU_HARDY ./
+ deb-src http://matita.cs.unibo.it/UBUNTU_HARDY ./
+ </pre>
+