old_contents: GitHubTarballPackage ('mono', 'mono-basic', '3.0', 'bd316e914e1a230c29b5d637239334df41a79c7f',
  	configure = './configure --prefix="%{prefix}" --with-profile2=no',
  	override_properties = { 'make': 'make' }
  )
  
new_contents: GitHubTarballPackage ('mono', 'mono-basic', '3.0', '0d0440feccf648759f7316f93ad09b1e992ea13a',
  	configure = './configure --prefix="%{prefix}"',
  	override_properties = { 'make': 'make' }
  )
  
subject: Bump mono-basic to get build fix.