Bug#1074116: mshr: FTBFS with CGAL 6.0

[Joachim Reichel]

Hi Francesco,

CGAL 6.0 has been uploaded to unstable. You might want to apply the diff in 
experimental to the unstable version, too.

Best regards,
  Joachim