Patch attachments in agda-stdlib in Ubuntu Quantal

There are no patches associated with agda-stdlib in Ubuntu Quantal at this time.