To show only the files you want, use the checkboxes in the sidebar. For other MariaDB releases, click on "View All Releases". For faster downloads choose a mirror close to you.
There was an issue with the .deb packages for Ubuntu 13.10 "saucy" x86. Those packages will be available soon.