Source: libahven5-dev Followup-For: Bug #849985 Hello.
The failure was probably caused by the successive gnat-6 uploads modifying sources in the Ada runtime (see #866355), but there is no need to investigate further. Ahven should be rebuilt with the new default gnat/7, with new ALI and SO versions. The new ALI version will close this bug.