On Tuesday 12 February 2019 09:36 PM, Roberto C. Sánchez wrote: > I did a fresh build and uploaded them here: > https://people.debian.org/~roberto/ This is enough, thanks. > I don't have a Salsa or other remote Git repository setup, as I just > work locally. --abhijith