Patch attachments in matita in Ubuntu Oneiric

There are no patches associated with matita in Ubuntu Oneiric at this time.