Bug#1041705: dolfin: libdolfin needs ABI bump

[Drew Parsons]

Source: dolfin
Version: 2019.2.0~legacy20230609.8b85e9d.ar-2
Severity: serious
Justification: Policy 8.6.2
Control: affects -1 python3-mshr

The accumulation of git changes and gcc-13 fixes has apparently
introduced an ABI inconsistency in libdolfin.so, such that mshr can no
longer be imported in python, and mshr tests fails.
see
https://ci.debian.net/data/autopkgtest/testing/amd64/f/fenics/36044020/log.gz
https://ci.debian.net/data/autopkgtest/testing/amd64/m/mshr/36044021/log.gz

A rebuild of mshr fixes the issue, but really dolfin shouldn't migrate
to testing if it's doing this, so marking severity: serious.
A new upstream release is expected soon which we'll treat as an ABI
upgrade to resolve the issue.