Bugs for matita in Ubuntu Utopic

There are currently no open bugs.