Source: gprbuild Followup-For: Bug #1008152 Control: tags -1 + unreproducible
Hello. For unrelated reasons, I have updated gprbuild in experimental. The -indep build seems to succeed on a build machine. https://buildd.debian.org/status/fetch.php?pkg=gprbuild&arch=all&ver=2022.0.0-2&stamp=1648992585&raw=0 Until we find a way to reproduce the failure, I suggest to lower the severity to important or normal.
