# This file affects the -dev binary package because it is the first
# listed in the control file, but an explicit prefix would require the
# file to be renamed on each change of the ALI version.

examples/*.adb
debian/examples.gpr
