Hi Bálint, is hardened1-linux-any still a thing? I haven't seen any activity nor bootstrapping efforts on this in a while. If this is a dead end, I suggest closing the Cced gmp bug #810659.
Helmut -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
