I see now that there's already a separate bug for this issue on arm64: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=791990
-- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
