Thank you very much for the patch Adrian, I confirm it works. I'll
upload a new version soon.

What is the recommended way to depend on GCC? Should the package depend
on g++ (>= 4:6), or should it depend on gcc-6 with a build adjusted to
use it?

Emmanuel Bourg

Reply via email to