+ <pre>
+ deb http://matita.cs.unibo.it/UBUNTU_INTREPID ./
+ deb-src http://matita.cs.unibo.it/UBUNTU_INTREPID ./
+ </pre>
+
+ <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 Hardy.
+ </p>
+ <pre>
+ deb http://matita.cs.unibo.it/CLUSTERCS ./
+ deb-src http://matita.cs.unibo.it/CLUSTERCS ./
+ </pre>