A binary repository manager