Bug#1068464: deal.ii: FTBFS: libgmp not linked, libdeal.ii.g.so.9.5.1: error: undefined reference to '__gmpn_neg'

[Tobias Frost]

Control: tags -1 unreproducible
Control: close -1

Hi Drew,

I've rebuilt deal.ii in the course of the opencascade transition, and I
cannot reproduce this FTBFS; 
petsc 3.20 is now in unstable too, and the binNMU has been done ~4 days
ago, also without the failure you've seen.

Buildds works too...

Therefore, I'm closing this bug as non-reproducible. (it can be reopened
of course if it reappears.)

-- 
tobi