Docker.ioを使うか、Docker-ceを使うか
https://www.collabora.com/news-and-blog/blog/2018/07/04/docker-io-debian-package-back-to-life/
もう二年位前のtopicだけど、ビルドプロセスが違うだけ、でもそのビルドプロセスの違いがメンテナンスを大変にするようです。
メンテナンスしたくなければ、Docker-ceでメンテナンスバッチコイの場合は、Docker.ioかなというぐらい。
※2020年4月5日時点でUbuntu20.04は、まだBataなので、ReleaseになるまでDocker-ce側でパッケージが用意されてないので、実行できません。そのため、Docker.ioを使うということができます。