I don't know about other distributions, but I know that the debug symbols were stripped from Debian/Ubuntu packages. If there are some crashes reported I won't be able to fully analyze them. The only way to fix this problem is to build the packages again.
git clone https://github.com/MariaDB/server.git cd server/ git branch -a git checkout 10.0 apt-get install libdistro-info-perl apt-get install fakeroot apt-get install libreadline-gplv2-dev libpam0g-dev dpatch libjemalloc-dev apt-get install libboost-all-dev libjudy-dev libjudydebian1 apt-get install build-essential dpkg-dev devscripts hardening-wrapper apt-get build-dep mysql-server patch -p1 < /path/to/patch.txt ./debian/autobake-deb.sh
Note: Here is the patch.txt