Ubuntu 20.04 上的 MariaDB 10.1

Question

尝试将我的项目迁移到运行 Ubuntu 20.04 的新服务器，20.04 的默认 MariaDB 版本是 MariaDB 10.5。

我似乎找不到有关如何在 Ubuntu 20.04 上安装 MariaDB 版本 10.1 的任何详细信息，由于我们的项目有点旧，我无法使用最新版本，项目可能会在最新的 MariaDB 版本中中断。

有没有办法在 Ubuntu 20.04 上安装 Mariadb 10.1，还是应该用 Ubuntu 18.04 重新安装服务器？