Branches for Wily

Author: Ludovic Brenta
Revision Date: 2014-10-21 01:13:57 UTC

* debian/patches/report_unexpected_gnat_version.diff: delete; caused
  ASIS to report a "wrong" version of GNAT if Gnatvsn.Gnat_Version_String
  returned a string lacking a "(" in it.
* debian/patches/weak_version_check.diff: new. Do not check the version
  string of the compiler embedded in the tree files against
  Gnatvsn.Gnat_Version_String. Checking only the tree version number
  (Tree_IO.ASIS_Version_Number, in libgnatvsn) is sufficient.
  Closes: #765467.