https://websetnet.net/downgrading-a-package-via-apt-get/