- <p>
- If you are using Ubuntu Hardy you may want to add these lines to your apt/sources.list file:
- </p>
- <pre>
- deb http://matita.cs.unibo.it/UBUNTU_HARDY ./
- deb-src http://matita.cs.unibo.it/UBUNTU_HARDY ./
- </pre>
- <p>
- If you are using Ubuntu Intrepid you may want to add these lines to your apt/sources.list file:
- </p>
- <pre>
- deb http://matita.cs.unibo.it/UBUNTU_INTREPID ./
- deb-src http://matita.cs.unibo.it/UBUNTU_INTREPID ./
- </pre>