2020年2月16日

にて
Choose a Distro→Choose a Release→Choose a Version
の順に自分の環境にあわせて選択していくと下に目的のリポジトリが表示されるのでそれをコピーします。