Package: release.debian.org Severity: normal User: release.debian....@packages.debian.org Usertags: binnmu X-Debbugs-Cc: dolfinx-...@packages.debian.org Control: affects -1 + src:dolfinx-mpc src:mshr
nmu dolfinx-mpc_0.6.1-3 . ANY . unstable . -m "rebuild for dolfinx with gcc-13" nmu mshr_2019.2.0~git20200924.c27eb18+dfsg1-8 . ANY . unstable . -m "rebuild for dolfin with gcc-13"