Package: debhelper Version: 8.0.0 Lines 108-112 of /usr/bin/dh_fixperms are
# ADA ali files should be mode 444 to avoid recompilation if (-d "$tmp/usr/lib/ada") { complex_doit("find $tmp/usr/lib/ada -type f", "-name '*.ali' $find_options -print0", "2>/dev/null | xargs -0r chmod uga-w"); } so I propose closing this bug. -- Prof. Ernesto Hernández-Novich - MYS-220C - @iamemhn Geek by nature, Linux by choice, Debian of course. If you can't aptitude it, it isn't useful or doesn't exist. GPG Key Fingerprint = 438C 49A2 A8C7 E7D7 1500 C507 96D6 A3D6 2F4C 85E3 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org