Bugs for maude in Ubuntu Vivid

There are currently no open bugs.