This has been fixed upstream in the master branch:
2498c25d2d4876ed8a27877d8cde62df6e7ec6c3
However this patch has not been backported to the 2.3 branch.
signature.asc
Description: OpenPGP digital signature
--
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debi
Package: src:dune-common
Version: 2.3.1-1
Severity: normal
Tags: sid stretch
User: debian-...@lists.debian.org
Usertags: ftbfs-gcc-5
Please keep this issue open in the bug tracker for the package it
was filed for. If a fix in another package is required, please
file a bug for the other package (o