Patch attachments in mcrl2 in Ubuntu Natty

There are no patches associated with mcrl2 in Ubuntu Natty at this time.