openturns/build-deb

Upload debian packages

Scripts to fetch debian packages from OBS.

See also https://pmateusz.github.io/linux/2017/06/30/linux-secure-apt-repository.html