Created attachment 251516 [details] git-diff to restore .ali output All the .ali files for the package are missing. Fix by including devel/gprbuild as a dependency.