# stuff to be versionned for the astrobian apt repositories (using reprepro)