Steffen Möller

Is anything speaking against uploading 7.18.1 to Debian?

And that 7.16.x releases happened after that 7.18.1 one. Just, the automated local updates are performed to the latest release wrt the release numbering, not the release dates. Since my...

The configuration is ``` dh_auto_configure -- --with-arbhome=/usr/lib/arb \ --with-tbb=no --with-tbb-malloc=no --disable-static \ --with-gnu-ld ./configure --build=x86_64-linux-gnu --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-option-checking --disable-silent-rules --libdir=\${prefix}/lib/x86_64-linux-gnu --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking --with-arbhome=/usr/lib/arb --with-tbb=no --with-tbb-malloc=no...

Thank you for your swift action. I had always tried different compiler options, i.e. with and without tbb and tbb-malloc, which from what I recollect always led to the same...