A new major release of MariaDB will be moved to [extra] soon. The change in versioning scheme has been made to clearly distinguish provided functionality from MySQL 5.6. From now on, it won't be possible to easily move between various MySQL implementations provided in the official repositories.
Due to major changes in MariaDB 10.0, it is recommended (although not
necessary) to dump the tables before upgrading and reloading the dump
file afterwards. After upgrading to the new version don't forget to
mysqld.service and run
mysql_upgrade to check the databases
for possible errors.
Additionally TokuDB storage engine has been disabled because of repeating build failures. I'm sorry for any inconvenience caused. TokuDB is available again in MariaDB 10.0.12-2.