The debian package was wrong but not broken due to difference in the linker default options.
The last time the package has been synced is Nov 2017, so I think that should happen automatically with 0.14-3 upload from debian
The debian package was wrong but not broken due to difference in the linker default options.
The last time the package has been synced is Nov 2017, so I think that should happen automatically with 0.14-3 upload from debian