Dear Adrian, Thank you so much for the reports.
The cause of this bug was found and corrected: In the Gnuastro source: http://git.savannah.gnu.org/cgit/gnuastro.git/commit/?id=8ff37cf41 In the debian packaging: https://anonscm.debian.org/cgit/debian-astro/packages/gnuastro.git/tree/debian/changelog Once it is uploaded the problem will be fixed. Thanks again, Mohammad
