<h2>Cluster .cs.unibo.it.<a name="clustercs"></a></h2>
<p>
The following repository contains the version of Matita installed
- in the Ercolani laboratory
+ in the Ercolani laboratory, currently running Ubuntu Hardy.
</p>
<pre>
deb http://matita.cs.unibo.it/CLUSTERCS ./