<dt>Sources</dt>
<dd>You can download the <a
- href="FILES/matita_0.5.8.orig.tar.gz">sources</a> of Matita (around 6 MB, md5sum:
+ href="FILES/matita-0.5.8.orig.tar.gz">sources</a> of Matita (around 6 MB, md5sum:
125223d3dc522c4ac063a66f5d46df69
)
and